{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,7]],"date-time":"2026-02-07T22:23:52Z","timestamp":1770503032340,"version":"3.49.0"},"reference-count":85,"publisher":"Elsevier BV","issue":"5","license":[{"start":{"date-parts":[[1988,1,1]],"date-time":"1988-01-01T00:00:00Z","timestamp":567993600000},"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":[[1988,1]]},"DOI":"10.1016\/s0020-7373(88)80007-5","type":"journal-article","created":{"date-parts":[[2008,8,14]],"date-time":"2008-08-14T08:40:20Z","timestamp":1218703220000},"page":"479-496","source":"Crossref","is-referenced-by-count":34,"title":["A survey of formal tools and models for developing user interfaces"],"prefix":"10.1016","volume":"29","author":[{"given":"Mohammad U.","family":"Farooq","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Wayne D.","family":"Dominick","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"78","reference":[{"key":"10.1016\/S0020-7373(88)80007-5_bib1","doi-asserted-by":"crossref","first-page":"48","DOI":"10.1109\/MCG.1984.6429380","article-title":"A report on the Vail Workshop on Human Factors in Computer Systems","volume":"4","author":"Atwood","year":"1984","journal-title":"IEEE Computer Graphics and Applications"},{"key":"10.1016\/S0020-7373(88)80007-5_bib2","series-title":"A test-bed for user interface designs. Proceedings of the Human Factors in Computer Systems Conference","first-page":"85","author":"Ball","year":"1982"},{"key":"10.1016\/S0020-7373(88)80007-5_bib3","series-title":"Proceedings: SIGOA Conference on Office Information Systems","first-page":"12","article-title":"Dialogue and process design for interactive information systems using TAXIS","author":"Barron","year":"1982"},{"key":"10.1016\/S0020-7373(88)80007-5_bib4","doi-asserted-by":"crossref","first-page":"677","DOI":"10.1145\/358172.358408","article-title":"A diagnosis of beginning programmers' misconceptions of BASIC programming statements","volume":"26","author":"Bayman","year":"1983","journal-title":"Communications of the ACM"},{"key":"10.1016\/S0020-7373(88)80007-5_bib5","series-title":"Proceedings of the Human Factors in Computer Systems Conference","first-page":"309","article-title":"Toward specifying and evaluating the human factors of user-computer interfaces","author":"Bleser","year":"1982"},{"key":"10.1016\/S0020-7373(88)80007-5_bib6","doi-asserted-by":"crossref","first-page":"35","DOI":"10.1145\/1006258.1006265","article-title":"Rapid Prototyping of Information Management System","volume":"7","author":"Blum","year":"1982","journal-title":"ACM SIGSOFT Software Engineering Notes"},{"key":"10.1016\/S0020-7373(88)80007-5_bib7","series-title":"Methodology of Interaction","first-page":"149","article-title":"Problems of the 80's in man\/machine communication","author":"Bo","year":"1980"},{"key":"10.1016\/S0020-7373(88)80007-5_bib8","first-page":"33","article-title":"Psychological research in human-computer interaction","volume":"19","author":"Borgman","year":"1984","journal-title":"Annual Review of Information Science and Technology"},{"key":"10.1016\/S0020-7373(88)80007-5_bib9","series-title":"The User's Mental Model of an Information Retrieval System: Effects on Performance","author":"Borgman","year":"1984"},{"key":"10.1016\/S0020-7373(88)80007-5_bib10","doi-asserted-by":"crossref","first-page":"47","DOI":"10.1016\/S0020-7373(86)80039-6","article-title":"The user's mental model of an information retrieval system: An experiment on a prototype online catalog","volume":"24","author":"Borgman","year":"1986","journal-title":"International Journal of Man-Machine Studies"},{"key":"10.1016\/S0020-7373(88)80007-5_bib11","doi-asserted-by":"crossref","first-page":"224","DOI":"10.1147\/sj.233.0224","article-title":"Ease of use: A system design challenge","volume":"23","author":"Branscomb","year":"1984","journal-title":"IBM System Journal"},{"key":"10.1016\/S0020-7373(88)80007-5_bib12","doi-asserted-by":"crossref","first-page":"35","DOI":"10.1145\/964967.801130","article-title":"Towards a comprehensive user interface management system","volume":"17","author":"Buxton","year":"1983","journal-title":"Computer Graphics"},{"key":"10.1016\/S0020-7373(88)80007-5_bib13","doi-asserted-by":"crossref","first-page":"396","DOI":"10.1145\/358886.358895","article-title":"The keystroke-level model for user performance time with interactive systems","volume":"23","author":"Card","year":"1980","journal-title":"Communications of the ACM"},{"key":"10.1016\/S0020-7373(88)80007-5_bib14","series-title":"The Psychology of Human-Computer Interaction","author":"Card","year":"1983"},{"key":"10.1016\/S0020-7373(88)80007-5_bib15","doi-asserted-by":"crossref","first-page":"107","DOI":"10.1109\/TSMC.1982.4308795","article-title":"Metaphor and cognitive representation of computing systems","volume":"SMC-12","author":"Carroll","year":"1982","journal-title":"IEEE Transactions on Systems, Man and Cybernetics"},{"key":"10.1016\/S0020-7373(88)80007-5_bib16","doi-asserted-by":"crossref","first-page":"55","DOI":"10.1016\/0010-0285(73)90004-2","article-title":"Perception in chess","volume":"4","author":"Chase","year":"1973","journal-title":"Cognitive Psychology"},{"key":"10.1016\/S0020-7373(88)80007-5_bib17","doi-asserted-by":"crossref","first-page":"987","DOI":"10.1145\/182.358465","article-title":"System designers' user models: A comparative study and methodological critique","volume":"26","author":"Dagwell","year":"1983","journal-title":"Communications of the ACM"},{"key":"10.1016\/S0020-7373(88)80007-5_bib18","series-title":"Proceedings of the CHI'83 Human Factors in Computing Systems Conference","first-page":"207","article-title":"Learning text editing semantics by analogy","author":"Douglas","year":"1983"},{"key":"10.1016\/S0020-7373(88)80007-5_bib19","doi-asserted-by":"crossref","first-page":"237","DOI":"10.1016\/S0020-7373(81)80056-9","article-title":"The black box inside the glass box: presenting computing concepts to novices","volume":"14","author":"Du Boulay","year":"1981","journal-title":"International Journal of Man-Machine Studies"},{"key":"10.1016\/S0020-7373(88)80007-5_bib20","doi-asserted-by":"crossref","first-page":"270","DOI":"10.1109\/TSE.1978.231511","article-title":"User perceived quality of interactive systems","volume":"SE-4","author":"Dzida","year":"1978","journal-title":"IEEE Transactions on Software Engineering"},{"key":"10.1016\/S0020-7373(88)80007-5_bib21","doi-asserted-by":"crossref","first-page":"881","DOI":"10.1080\/00140138008924798","article-title":"Dialogue design implications of task allocation between man and computer","volume":"23","author":"Eason","year":"1980","journal-title":"Ergonomics"},{"key":"10.1016\/S0020-7373(88)80007-5_bib22","doi-asserted-by":"crossref","first-page":"655","DOI":"10.1016\/0005-1098(83)90029-8","article-title":"DMS\u2014A system for defining and managing human computer dialogues","volume":"9","author":"Ehrich","year":"1983","journal-title":"Automatica"},{"key":"10.1016\/S0020-7373(88)80007-5_bib23","doi-asserted-by":"crossref","first-page":"639","DOI":"10.1016\/S0020-7373(78)80025-X","article-title":"A procedure for predicting program editor performance from the user's point of view","volume":"10","author":"Embley","year":"1978","journal-title":"International Journal of Man-Machine Studies"},{"key":"10.1016\/S0020-7373(88)80007-5_bib24","doi-asserted-by":"crossref","first-page":"399","DOI":"10.1016\/S0020-7373(77)80010-2","article-title":"Transition diagram-based CAI\/Help systems","volume":"9","author":"Feyock","year":"1977","journal-title":"International Journal of Man-Machine Studies"},{"key":"10.1016\/S0020-7373(88)80007-5_bib25","first-page":"462","article-title":"The art of natural graphic man-machine conversation","volume":"62","author":"Foley","year":"1974"},{"key":"10.1016\/S0020-7373(88)80007-5_bib26","series-title":"Fundamentals of Interactive Computer Graphics","author":"Foley","year":"1982"},{"key":"10.1016\/S0020-7373(88)80007-5_bib27","series-title":"Proceedings of Human Factors in Computer Systems Conference","first-page":"332","article-title":"Reducing manual labor: An experimental analysis of learning aids for a text editor","author":"Foss","year":"1982"},{"key":"10.1016\/S0020-7373(88)80007-5_bib28","doi-asserted-by":"crossref","first-page":"133","DOI":"10.1016\/S0020-7373(81)80037-5","article-title":"The technology of interaction-design programming rules","volume":"14","author":"Gaines","year":"1981","journal-title":"International Journal of Man-Machine Studies"},{"key":"10.1016\/S0020-7373(88)80007-5_bib29","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/S0020-7373(86)80037-2","article-title":"From timesharing to the sixth generation: The development of human-computer interaction, part I","volume":"24","author":"Gaines","year":"1986","journal-title":"International Journal of Man-Machine Studies"},{"key":"10.1016\/S0020-7373(88)80007-5_bib30","doi-asserted-by":"crossref","first-page":"191","DOI":"10.1002\/asi.4630290407","article-title":"Opinion paper: Design criteria for documenta- tion retrieval languages","volume":"29","author":"Gebhardt","year":"1978","journal-title":"Journal of the American Society for Information Sciences"},{"key":"10.1016\/S0020-7373(88)80007-5_bib31","series-title":"Proceedings of the Human Factors in Computer Systems Conference","first-page":"245","article-title":"Warming up to computers: A study of cognitive and affective interaction over time","author":"Gilfoil","year":"1982"},{"key":"10.1016\/S0020-7373(88)80007-5_bib32","series-title":"Smalltalk-80: The Language and its Implementation","author":"Goldberg","year":"1983"},{"key":"10.1016\/S0020-7373(88)80007-5_bib33","doi-asserted-by":"crossref","first-page":"65","DOI":"10.1147\/sj.231.0065","article-title":"Speech filing\u2014An office system for principals","volume":"23","author":"Gould","year":"1984","journal-title":"IBM System Journal"},{"key":"10.1016\/S0020-7373(88)80007-5_bib34","series-title":"The University of Alberta user interface management system. Proceedings: ACM SIGGRAPH'85","first-page":"205","author":"Green","year":"1985"},{"key":"10.1016\/S0020-7373(88)80007-5_bib35","series-title":"Proceedings of the Human Factors in Computer Systems Conference","first-page":"383","article-title":"Analogy considered harmful","author":"Halasz","year":"1982"},{"key":"10.1016\/S0020-7373(88)80007-5_bib36","series-title":"Proceedings of the CHV85 Human Factors in Computing Systems Conference","first-page":"169","article-title":"Design alternatives for user interface management systems based on experience with COUSIN","author":"Hayes","year":"1985"},{"key":"10.1016\/S0020-7373(88)80007-5_bib37","doi-asserted-by":"crossref","first-page":"40","DOI":"10.1109\/MS.1985.230048","article-title":"A Survey of application generators","volume":"1","author":"Horowitz","year":"1985","journal-title":"IEEE Software"},{"key":"10.1016\/S0020-7373(88)80007-5_bib38","doi-asserted-by":"crossref","first-page":"259","DOI":"10.1145\/2163.358093","article-title":"Using formal specifications in the design of a human-computer interface","volume":"26","author":"Jacob","year":"1983","journal-title":"Communications of the ACM"},{"key":"10.1016\/S0020-7373(88)80007-5_bib39","series-title":"Proceedings of the CHF83 Human Factors in Computing Systems Conference","first-page":"28","article-title":"Executable specifications for human computer interfaces","author":"Jacob","year":"1983"},{"key":"10.1016\/S0020-7373(88)80007-5_bib40","doi-asserted-by":"crossref","first-page":"99","DOI":"10.1145\/965145.801268","article-title":"A user interface management system","volume":"16","author":"Kasik","year":"1982","journal-title":"Computer Graphics"},{"key":"10.1016\/S0020-7373(88)80007-5_bib41","series-title":"An Approach to the Formal Analysis of User Complexity. Project on the User Complexity of Devices and Systems","author":"Kieras","year":"1982"},{"key":"10.1016\/S0020-7373(88)80007-5_bib42","doi-asserted-by":"crossref","first-page":"297","DOI":"10.1016\/0306-4379(80)90076-9","article-title":"Natural language access to information systems: An evaluation study of its acceptance by end users","volume":"5","author":"Krause","year":"1980","journal-title":"Information Systems"},{"key":"10.1016\/S0020-7373(88)80007-5_bib43","series-title":"Proceedings of the Human Factors in Computer Systems Conference","first-page":"387","article-title":"Learning to use a text processing system: evidence from 'Thinking aloud' protocols","author":"Lewis","year":"1982"},{"key":"10.1016\/S0020-7373(88)80007-5_bib44","series-title":"Proceedings of the 6th International Conference on Software Engineering","first-page":"296","article-title":"Designing data entry programs using state diagrams as a common model","author":"Ling","year":"1982"},{"key":"10.1016\/S0020-7373(88)80007-5_bib45","doi-asserted-by":"crossref","first-page":"115","DOI":"10.1145\/965145.801270","article-title":"STAR graphics: An object-oriented implementation","volume":"16","author":"Lipke","year":"1982","journal-title":"Computer Graphics"},{"key":"10.1016\/S0020-7373(88)80007-5_bib46","doi-asserted-by":"crossref","first-page":"237","DOI":"10.1016\/S0020-7373(82)80061-8","article-title":"An evaluation of the published recommendations on the design of man-computer dialogues","volume":"16","author":"Maguire","year":"1982","journal-title":"International Journal of Man-Machine Studies"},{"key":"10.1016\/S0020-7373(88)80007-5_bib47","series-title":"Design of Man-Computer Dialogues","author":"Martin","year":"1973"},{"key":"10.1016\/S0020-7373(88)80007-5_bib48","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1145\/356835.356841","article-title":"The psychology of how novices learn computer programming","volume":"13","author":"Mayer","year":"1981","journal-title":"ACM Computing Surveys"},{"key":"10.1016\/S0020-7373(88)80007-5_bib49","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1145\/356835.356836","article-title":"Guest editors introduction: An applied psychology of the user","volume":"13","author":"Moran","year":"1981","journal-title":"ACM Computing Surveys"},{"key":"10.1016\/S0020-7373(88)80007-5_bib50","doi-asserted-by":"crossref","first-page":"3","DOI":"10.1016\/S0020-7373(81)80022-3","article-title":"The command language grammar: A representation for the user interface of interactive computer systems","volume":"15","author":"Moran","year":"1981","journal-title":"International Journal of Man-Machine Studies"},{"key":"10.1016\/S0020-7373(88)80007-5_bib51","series-title":"MUMPS Language Standard","year":"1977"},{"key":"10.1016\/S0020-7373(88)80007-5_bib52","doi-asserted-by":"crossref","first-page":"185","DOI":"10.1145\/320141.320150","article-title":"A language facility for the design of interactive database-intensive applications","volume":"5","author":"Mylopoulos","year":"1980","journal-title":"Transactions on Database Systems"},{"key":"10.1016\/S0020-7373(88)80007-5_bib53","series-title":"Proceedings of the Spring Joint Computer Conference","first-page":"47","article-title":"A system for interactive graphical programming","author":"Newman","year":"1968"},{"key":"10.1016\/S0020-7373(88)80007-5_bib54","doi-asserted-by":"crossref","first-page":"469","DOI":"10.1016\/S0020-7373(81)80054-5","article-title":"Why interactive computer systems are sometimes not used by people who might benefit from them","volume":"15","author":"Nickerson","year":"1981","journal-title":"International Journal of Man-Machine Studies"},{"key":"10.1016\/S0020-7373(88)80007-5_bib55","first-page":"139","article-title":"The trouble with UNIX","volume":"27","author":"Norman","year":"1981","journal-title":"Datamation"},{"key":"10.1016\/S0020-7373(88)80007-5_bib56","series-title":"Proceedings of the Human Factors in Computer Systems Conference","first-page":"378","article-title":"Steps toward a cognitive engineering: design rules based on an analysis of human error","author":"Norman","year":"1982"},{"key":"10.1016\/S0020-7373(88)80007-5_bib57","series-title":"User Centered System Design;. New Perspectives on Human-Computer Interaction","first-page":"31","article-title":"Cognitive Engineering","author":"Norman","year":"1986"},{"key":"10.1016\/S0020-7373(88)80007-5_bib58","doi-asserted-by":"crossref","first-page":"53","DOI":"10.1145\/988584.988589","article-title":"Automatic generation of interactive systems","volume":"17","author":"Olsen","year":"1983","journal-title":"Computer Graphics"},{"key":"10.1016\/S0020-7373(88)80007-5_bib59","doi-asserted-by":"crossref","first-page":"33","DOI":"10.1109\/MCG.1984.6429378","article-title":"A context for user interface management","volume":"4","author":"Olsen","year":"1984","journal-title":"IEEE Computer Graphics and Applications"},{"key":"10.1016\/S0020-7373(88)80007-5_bib60","series-title":"Proceedings of the 24th National ACM Conference","first-page":"379","article-title":"On the use of transition diagrams in the design of a user interface for an interactive computer system","author":"Parnas","year":"1969"},{"key":"10.1016\/S0020-7373(88)80007-5_bib61","doi-asserted-by":"crossref","first-page":"17","DOI":"10.1016\/0306-4573(80)90003-5","article-title":"Monitoring and evaluation of on-line information system usage","volume":"16","author":"Penniman","year":"1980","journal-title":"Information Processing and Management"},{"key":"10.1016\/S0020-7373(88)80007-5_bib62","series-title":"Seeheim Workshop on User Interface Management Systems","author":"Pfaff","year":"1985"},{"key":"10.1016\/S0020-7373(88)80007-5_bib63","first-page":"29","article-title":"Human factors in interactive computer dialog","volume":"18","author":"Ramsey","year":"1983","journal-title":"Annual Review of Information Science and Technology"},{"key":"10.1016\/S0020-7373(88)80007-5_bib64","doi-asserted-by":"crossref","first-page":"229","DOI":"10.1109\/TSE.1981.234520","article-title":"Formal grammar and human factor design of an interactive graphic system","volume":"SE-7","author":"Reisner","year":"1981","journal-title":"IEEE Transactions on Software Engineering"},{"key":"10.1016\/S0020-7373(88)80007-5_bib65","first-page":"94","volume":"Vol. 150","author":"Reisner","year":"1983"},{"key":"10.1016\/S0020-7373(88)80007-5_bib66","series-title":"Human Factors in Computer Systems","first-page":"53","article-title":"Formal grammar as a tooi for analyzing ease of use: Some fundamental concepts","author":"Reisner","year":"1984"},{"key":"10.1016\/S0020-7373(88)80007-5_bib67","series-title":"Proceedings of the CHI\u201983 Human Factors in Computing Systems Conference","first-page":"35","article-title":"Formal specification for modeling and developing human\/computer interfaces.","author":"Roach","year":"1983"},{"key":"10.1016\/S0020-7373(88)80007-5_bib68","doi-asserted-by":"crossref","first-page":"31","DOI":"10.1109\/TSE.1983.236168","article-title":"Programming language constructs for screen definition","volume":"9","author":"Rowe","year":"1983","journal-title":"IEEE Transactions on Software Engineering"},{"key":"10.1016\/S0020-7373(88)80007-5_bib69","series-title":"Cognitive Skills and Their Acquisition.","first-page":"335","article-title":"Analogical Processes in learning","author":"Rumelhart","year":"1981"},{"key":"10.1016\/S0020-7373(88)80007-5_bib70","series-title":"Proceedings of the CHI\u201985 Human Factors in Computing Systems Conference","first-page":"177","article-title":"ADM\u2014A dialog manager","author":"Schulert","year":"1985"},{"key":"10.1016\/S0020-7373(88)80007-5_bib71","series-title":"Human-Computer Interaction","first-page":"21","article-title":"A taxonomy of human-computer interactions: toward a modular user interface","author":"Schvaneveldt","year":"1984"},{"key":"10.1016\/S0020-7373(88)80007-5_bib72","doi-asserted-by":"crossref","first-page":"9","DOI":"10.1109\/MC.1979.1658571","article-title":"Human Factors Experiments in Designing Interactive Systems","volume":"12","author":"Shneiderman","year":"1979","journal-title":"IEEE Computer"},{"key":"10.1016\/S0020-7373(88)80007-5_bib73","series-title":"Software Psychology\u2014Human Factors in Computer and Information Systems","author":"Shneiderman","year":"1980"},{"key":"10.1016\/S0020-7373(88)80007-5_bib74","doi-asserted-by":"crossref","first-page":"148","DOI":"10.1109\/TSMC.1982.4308798","article-title":"Multiparty grammars and related features for defining interactive systems","volume":"SMC-12","author":"Shneiderman","year":"1982","journal-title":"IEEE Transactions on Systems, Man and Cybernetics"},{"key":"10.1016\/S0020-7373(88)80007-5_bib75","series-title":"Problem Solving and Education: Issues in Teaching and Research","article-title":"Problem solving and education","author":"Simon","year":"1980"},{"key":"10.1016\/S0020-7373(88)80007-5_bib76","series-title":"Formal Methods and Human Factors in the Design of Interactive Languages","author":"Singer","year":"1979"},{"key":"10.1016\/S0020-7373(88)80007-5_bib77","series-title":"Research Needs for Human Factors","year":"1983"},{"key":"10.1016\/S0020-7373(88)80007-5_bib78","series-title":"Proceedings of the IEEE Computer Society Conference on Specifications of Reliable Software","first-page":"68","article-title":"A specification method for interactive information systems","author":"Wasserman","year":"1979"},{"key":"10.1016\/S0020-7373(88)80007-5_bib79","series-title":"Proceedings of the 5th International Conference on Software Engineering","first-page":"387","article-title":"User software engineering and the design of interactive system","author":"Wasserman","year":"1981"},{"key":"10.1016\/S0020-7373(88)80007-5_bib80","first-page":"261","article-title":"Specification and implementation of interactive information systems","volume":"Volume 53","author":"Wasserman","year":"1984"},{"key":"10.1016\/S0020-7373(88)80007-5_bib81","doi-asserted-by":"crossref","first-page":"767","DOI":"10.1016\/0005-1098(83)90045-6","article-title":"Human-computer dialogue design considera- tions","volume":"19","author":"Williges","year":"1983","journal-title":"Automatica"},{"key":"10.1016\/S0020-7373(88)80007-5_bib82","doi-asserted-by":"crossref","first-page":"87","DOI":"10.1145\/965145.801267","article-title":"FLAIR\u2014User Interface dialog design tooi","volume":"16","author":"Wong","year":"1982","journal-title":"Computer Graphics"},{"key":"10.1016\/S0020-7373(88)80007-5_bib83","series-title":"Proceedings of the IEEE Computer Society Conference on Software Tools","first-page":"138","article-title":"GRIP: A formal framework for developing a support environment for graphical interface programming","author":"Workman","year":"1985"},{"key":"10.1016\/S0020-7373(88)80007-5_bib84","doi-asserted-by":"crossref","first-page":"51","DOI":"10.1016\/S0020-7373(81)80023-5","article-title":"The machine inside the machines: Users' models of pocket calculators","volume":"15","author":"Young","year":"1981","journal-title":"International Journal of Man-Machine Studies"},{"key":"10.1016\/S0020-7373(88)80007-5_bib85","series-title":"Representation, Specification, and Automation of Office Procedures","author":"Zisman","year":"1977"}],"container-title":["International Journal of Man-Machine Studies"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0020737388800075?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0020737388800075?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2018,12,26]],"date-time":"2018-12-26T12:56:52Z","timestamp":1545829012000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S0020737388800075"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1988,1]]},"references-count":85,"journal-issue":{"issue":"5","published-print":{"date-parts":[[1988,1]]}},"alternative-id":["S0020737388800075"],"URL":"https:\/\/doi.org\/10.1016\/s0020-7373(88)80007-5","relation":{},"ISSN":["0020-7373"],"issn-type":[{"value":"0020-7373","type":"print"}],"subject":[],"published":{"date-parts":[[1988,1]]}}}