{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,13]],"date-time":"2026-04-13T19:43:27Z","timestamp":1776109407721,"version":"3.50.1"},"reference-count":25,"publisher":"Elsevier BV","issue":"4","license":[{"start":{"date-parts":[[1985,4,1]],"date-time":"1985-04-01T00:00:00Z","timestamp":481161600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["International Journal of Man-Machine Studies"],"published-print":{"date-parts":[[1985,4]]},"DOI":"10.1016\/s0020-7373(85)80045-6","type":"journal-article","created":{"date-parts":[[2008,8,12]],"date-time":"2008-08-12T04:25:39Z","timestamp":1218515139000},"page":"365-394","source":"Crossref","is-referenced-by-count":456,"title":["An approach to the formal analysis of user complexity"],"prefix":"10.1016","volume":"22","author":[{"given":"David","family":"Kieras","sequence":"first","affiliation":[]},{"given":"Peter G.","family":"Polson","sequence":"additional","affiliation":[]}],"member":"78","reference":[{"key":"10.1016\/S0020-7373(85)80045-6_bib1","series-title":"Language, Memory, and Thought","author":"Anderson","year":"1976"},{"key":"10.1016\/S0020-7373(85)80045-6_bib2","doi-asserted-by":"crossref","first-page":"369","DOI":"10.1037\/0033-295X.89.4.369","article-title":"Acquisition of cognitive skill","volume":"89","author":"Anderson","year":"1982","journal-title":"Psychological Review"},{"key":"10.1016\/S0020-7373(85)80045-6_bib3","series-title":"Theories of Abstract Automata","author":"Arbib","year":"1969"},{"key":"10.1016\/S0020-7373(85)80045-6_bib4","doi-asserted-by":"crossref","first-page":"306","DOI":"10.1147\/sj.203.0306","article-title":"Improving the usability of programming publications","volume":"23","author":"Betke","year":"1981","journal-title":"IBM Systems Journal"},{"key":"10.1016\/S0020-7373(85)80045-6_bib5","doi-asserted-by":"crossref","first-page":"32","DOI":"10.1016\/0010-0285(80)90003-1","article-title":"Computer text editing: An information-processing analysis of a routine cognitive skill","volume":"12","author":"Card","year":"1980","journal-title":"Cognitive Psychology"},{"key":"10.1016\/S0020-7373(85)80045-6_bib6","series-title":"The Psychology of Human-Computer Interaction","author":"Card","year":"1983"},{"key":"10.1016\/S0020-7373(85)80045-6_bib7","doi-asserted-by":"crossref","first-page":"197","DOI":"10.1016\/S0020-7373(78)80012-1","article-title":"Empirical and formal language design applied to a unified control construct for interactive computing","volume":"10","author":"Embley","year":"1978","journal-title":"International Journal of Man-Machine Studies"},{"key":"10.1016\/S0020-7373(85)80045-6_bib8","series-title":"Methodology of Interaction","first-page":"227","article-title":"The structure of interactive command languages","author":"Foley","year":"1980"},{"key":"10.1016\/S0020-7373(85)80045-6_bib9","first-page":"462","article-title":"The art of natural graphic man-machine conversation","volume":"62","author":"Foley","year":"1974","journal-title":"IEEE Transactions on Software Engineering"},{"key":"10.1016\/S0020-7373(85)80045-6_bib10","series-title":"Mental Models","year":"1983"},{"key":"10.1016\/S0020-7373(85)80045-6_bib11","series-title":"Proceedings of a Conference on Human Factors in Computer System","article-title":"Using formal specifications in the design of a human-computer interface","author":"Jacob","year":"1982"},{"key":"10.1016\/S0020-7373(85)80045-6_bib12","unstructured":"Karat, J. (in press). A Model of problem solving with incomplete constraint knowledge. Cognitive Psychology."},{"key":"10.1016\/S0020-7373(85)80045-6_bib13","doi-asserted-by":"crossref","first-page":"47","DOI":"10.1515\/text.1.1982.2.1-3.47","article-title":"A model of reader strategy for abstracting main ideas from simple technical prose","volume":"2","author":"Kieras","year":"1982","journal-title":"Text"},{"key":"10.1016\/S0020-7373(85)80045-6_bib14","series-title":"Technical Report No. 12","article-title":"What people know about electronic devices: A descriptive study","author":"Kieras","year":"1982"},{"key":"10.1016\/S0020-7373(85)80045-6_bib15","series-title":"Working Paper No. 1","article-title":"An outline of a theory of the user complexity of devices and systems","author":"Kieras","year":"1982"},{"key":"10.1016\/S0020-7373(85)80045-6_bib16","series-title":"Technical Report No. 13","article-title":"The role of a mental model in learning to operate a device","author":"Kieras","year":"1983"},{"key":"10.1016\/S0020-7373(85)80045-6_bib17","series-title":"Computation: Finite and Infinite Machines","author":"Minsky","year":"1967"},{"key":"10.1016\/S0020-7373(85)80045-6_bib18","series-title":"Human Problem Solving","author":"Newell","year":"1972"},{"key":"10.1016\/S0020-7373(85)80045-6_bib19","series-title":"Problem-Solving Methods in Artificial Intelligence","author":"Nilson","year":"1971"},{"key":"10.1016\/S0020-7373(85)80045-6_bib20","series-title":"Mental Models","article-title":"Some observations on mental models","author":"Norman","year":"1982"},{"key":"10.1016\/S0020-7373(85)80045-6_bib21","first-page":"379","article-title":"On the use of transition diagrams in the design of a user interface for an interactive computer system","volume":"15","author":"Parnas","year":"1969"},{"issue":"2","key":"10.1016\/S0020-7373(85)80045-6_bib22","doi-asserted-by":"crossref","first-page":"229","DOI":"10.1109\/TSE.1981.234520","article-title":"Formal grammar and human factors design of an interactive graphics system","volume":"SE-7","author":"Reisner","year":"1981","journal-title":"IEEE Transactions on Software Engineering"},{"key":"10.1016\/S0020-7373(85)80045-6_bib23","series-title":"Proceedings of a Conference on Human Factors in Computer System","article-title":"Further developments toward using formal grammar as a design tool","author":"Reisner","year":"1982"},{"key":"10.1016\/S0020-7373(85)80045-6_bib24","series-title":"The Sciences of the Artificial","author":"Simon","year":"1981"},{"key":"10.1016\/S0020-7373(85)80045-6_bib25","doi-asserted-by":"crossref","first-page":"591","DOI":"10.1145\/355598.362773","article-title":"Transition network grammars for natural language analysis","volume":"13","author":"Woods","year":"1970","journal-title":"Communications of the ACM"}],"container-title":["International Journal of Man-Machine Studies"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0020737385800456?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0020737385800456?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2018,12,26]],"date-time":"2018-12-26T09:58:35Z","timestamp":1545818315000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S0020737385800456"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1985,4]]},"references-count":25,"journal-issue":{"issue":"4","published-print":{"date-parts":[[1985,4]]}},"alternative-id":["S0020737385800456"],"URL":"https:\/\/doi.org\/10.1016\/s0020-7373(85)80045-6","relation":{},"ISSN":["0020-7373"],"issn-type":[{"value":"0020-7373","type":"print"}],"subject":[],"published":{"date-parts":[[1985,4]]}}}