{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,1,12]],"date-time":"2023-01-12T05:42:52Z","timestamp":1673502172248},"reference-count":72,"publisher":"Informa UK Limited","issue":"1","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Behaviour & Information Technology"],"published-print":{"date-parts":[[1995,1]]},"DOI":"10.1080\/01449299508914624","type":"journal-article","created":{"date-parts":[[2007,6,25]],"date-time":"2007-06-25T07:36:47Z","timestamp":1182757007000},"page":"41-55","source":"Crossref","is-referenced-by-count":12,"title":["Dialogue modelling of graphical user interfaces with a production system"],"prefix":"10.1080","volume":"14","author":[{"given":"MARTIN B.","family":"CURRY","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"ANDREW F.","family":"MONK","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"301","reference":[{"key":"CIT0001","unstructured":"ABOWD , G. 1991 , Formal aspects of human-computer interaction , Oxford University , DPhil."},{"key":"CIT0002","unstructured":"ABOWD , G. , BOWEN . J. , Dix , A. , HARRISON , M. and TOOK , R. 1989 , User interface languages a survey of existing methods . Programming Research Group, Technical Report ."},{"key":"CIT0003","doi-asserted-by":"crossref","first-page":"739","DOI":"10.1016\/B978-0-444-70304-0.50119-9","volume-title":"Human-Computer Interaction-INTERACT '87","author":"ALEXANDER H.","year":"1987"},{"key":"CIT0004","volume-title":"Formally-Based Tools and Techniques for Human-Computer Dialogues","author":"ALEXANDER H.","year":"1987"},{"key":"CIT0005","first-page":"273","volume-title":"Formal Methods in Human-Computer Interaction","author":"ALEXANDER H.","year":"1990"},{"key":"CIT0006","first-page":"625","volume-title":"Human-Computer Interaction-INTERACT '90","author":"BASTIDE R.","year":"1990"},{"key":"CIT0007","first-page":"13","volume-title":"People and Computers IV","author":"BELLOTTl V.M. E.","year":"1988"},{"key":"CIT0008","first-page":"333","volume-title":"Engineering for Human-Computer Interaction","author":"CHAKRAVARTY l.","year":"1990"},{"key":"CIT0009","first-page":"138","volume-title":"People and Computers Designing the Interface","author":"COCKTON G.","year":"1985"},{"key":"CIT0010","first-page":"325","volume-title":"People and Computers III","author":"COCKTON G.","year":"1987"},{"key":"CIT0011","first-page":"509","volume-title":"People and Computers IV","author":"COCKTON G.","year":"1988"},{"key":"CIT0012","doi-asserted-by":"publisher","DOI":"10.1145\/366663.366704"},{"key":"CIT0014","volume-title":"The NATO Advanced Research Workshop Cognitive Models and Intelligent Environments for Learning Programming","author":"CURRY M. B.","year":"1991"},{"key":"CIT0015","volume-title":"Structured Programming","author":"DAM. O. J.","year":"1972"},{"key":"CIT0016","unstructured":"DENERT , E. 1977 , Specification and design of dialogue systems with state diagrams, Proceedings of the International Computer Symposium . Leige ."},{"key":"CIT0017","volume-title":"Smalltalk\/V PM Tutorial and Programming Handbook","year":"1992"},{"key":"CIT0018","volume-title":"A Discipline of Programming","author":"DIJKSTRA E. W.","year":"1976"},{"key":"CIT0019","volume-title":"Formal Methods for Interactive Systems","author":"DlX A.J.","year":"1991"},{"key":"CIT0020","doi-asserted-by":"crossref","first-page":"409","DOI":"10.1016\/B978-0-444-70304-0.50071-6","volume-title":"Human-Computer Interaction-INTERACT '87","author":"Dix A. J.","year":"1987"},{"key":"CIT0021","first-page":"13","volume-title":"People and Computers Designing the Interface","author":"DlX A, J.","year":"1985"},{"key":"CIT0022","first-page":"389","volume-title":"Computing Skills and the User Interface","author":"EDMONDS E. A.","year":"1981"},{"key":"CIT0023","doi-asserted-by":"publisher","DOI":"10.1016\/S0020-7373(88)80007-5"},{"key":"CIT0024","doi-asserted-by":"publisher","DOI":"10.1145\/29933.275635"},{"key":"CIT0025","doi-asserted-by":"crossref","first-page":"187","DOI":"10.1016\/B978-0-08-050264-9.50014-2","volume-title":"Computers and Conversation","author":"FROHLICH D.","year":"1990"},{"key":"CIT0026","doi-asserted-by":"publisher","DOI":"10.1049\/sej.1991.0014"},{"key":"CIT0027","doi-asserted-by":"publisher","DOI":"10.1145\/24054.24057"},{"key":"CIT0028","first-page":"79","volume-title":"Human-Computer Interaction-INTERACT '90","author":"GREEN T. R. G.","year":"1990"},{"key":"CIT0030","doi-asserted-by":"publisher","DOI":"10.1016\/0167-6423(87)90035-9"},{"key":"CIT0031","doi-asserted-by":"publisher","DOI":"10.1145\/42411.42414"},{"key":"CIT0033","unstructured":"HARRISON , M. and THIMBLEBY , H. 1990 , Formal Methods in Human-Computer Interaction ( Cambridge University Press , Cambridge )."},{"key":"CIT0034","doi-asserted-by":"publisher","DOI":"10.1145\/29933.275637"},{"key":"CIT0035","unstructured":"HILL , R. D. 1987b , Supporting concurrency, communication and synchronization in human-computer interaction , Ph.D. Thesis , Department of Computer Science, University of Toronto ."},{"key":"CIT0036","doi-asserted-by":"crossref","first-page":"695","DOI":"10.1016\/B978-0-444-70304-0.50113-8","volume-title":"Human-Computer Interaction-INTERACT '87","author":"Hix D.","year":"1987"},{"key":"CIT0037","doi-asserted-by":"publisher","DOI":"10.1016\/S0020-7373(05)80067-7"},{"key":"CIT0039","volume-title":"System Development","author":"JACKSON M.","year":"1983"},{"key":"CIT0040","doi-asserted-by":"publisher","DOI":"10.1145\/800045.801575"},{"key":"CIT0041","doi-asserted-by":"publisher","DOI":"10.1145\/2163.358093"},{"key":"CIT0042","doi-asserted-by":"publisher","DOI":"10.1145\/27623.27624"},{"key":"CIT0043","first-page":"278","volume-title":"Proceedings of Software Engineering '86","author":"JEREMAES P.","year":"1986"},{"key":"CIT0044","first-page":"145","volume-title":"People and Computers VI","author":"JOHNSON C. W.","year":"1991"},{"key":"CIT0045","first-page":"469","volume-title":"Eurographics '90","author":"JOHNSON C. W.","year":"1990"},{"key":"CIT0046","first-page":"195","volume-title":"Eurographics '91","author":"JOHNSON C. W.","year":"1991"},{"key":"CIT0047","doi-asserted-by":"publisher","DOI":"10.1145\/800045.801590"},{"key":"CIT0048","doi-asserted-by":"publisher","DOI":"10.1016\/S0020-7373(85)80045-6"},{"key":"CIT0049","doi-asserted-by":"publisher","DOI":"10.1145\/142750.142803"},{"key":"CIT0051","doi-asserted-by":"publisher","DOI":"10.1016\/S0020-7373(86)80049-9"},{"key":"CIT0052","doi-asserted-by":"publisher","DOI":"10.1080\/01449299008924231"},{"key":"CIT0053","volume-title":"Proceedings of the NATO Advanced Research Workshop, ASI Series F User-Centred Requirements for Software Engineering","author":"MONK A. F.","year":"1994"},{"key":"CIT0054","first-page":"147","volume-title":"People and Computers Designing for Usability","author":"MONK A. F.","year":"1987"},{"key":"CIT0055","doi-asserted-by":"publisher","DOI":"10.1016\/S0020-7373(81)80022-3"},{"key":"CIT0056","doi-asserted-by":"publisher","DOI":"10.1145\/97243.97252"},{"key":"CIT0058","doi-asserted-by":"publisher","DOI":"10.1145\/800195.805945"},{"key":"CIT0059","volume-title":"Petri-Net Theory and the Modelling of Systems","author":"PETERSON J. L.","year":"1981"},{"key":"CIT0060","doi-asserted-by":"crossref","first-page":"118","DOI":"10.1145\/872728.806858","volume":"18","author":"PILOTE M.","year":"1983","journal-title":"ACM SIGPLAN Notices"},{"key":"CIT0061","first-page":"184","volume-title":"Introducing Thought Cognitive Aspects of Human-Computer Interaction","author":"POLSON P. G.","year":"1987"},{"key":"CIT0062","doi-asserted-by":"publisher","DOI":"10.1016\/0020-7373(92)90039-N"},{"key":"CIT0063","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.1981.234520"},{"key":"CIT0064","first-page":"53","volume-title":"Human Factors in Computer Systems","author":"REISNER P.","year":"1984"},{"key":"CIT0065","first-page":"697","volume":"50","author":"SACKS H.","year":"1976","journal-title":"Language"},{"key":"CIT0066","first-page":"591","volume-title":"Readings in Human-Computer Interaction A Multidisciplinary Approach","author":"SCHMUCKER K. J.","year":"1987"},{"key":"CIT0067","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9781139173438","volume-title":"Speech Acts","author":"SEARLE J. R.","year":"1969"},{"key":"CIT0068","doi-asserted-by":"crossref","first-page":"395","DOI":"10.1016\/B978-0-444-70304-0.50069-8","volume-title":"Human-Computer Interaction- INTERACT '87","author":"SHARRATT B.","year":"1987"},{"key":"CIT0069","first-page":"11","volume-title":"People and Computers III","author":"SHARRATT B.","year":"1987"},{"key":"CIT0070","doi-asserted-by":"publisher","DOI":"10.1145\/67449.67487"},{"key":"CIT0071","doi-asserted-by":"publisher","DOI":"10.1016\/S0020-7373(82)80057-6"},{"key":"CIT0072","doi-asserted-by":"publisher","DOI":"10.1016\/S0020-7373(88)80021-X"},{"key":"CIT0073","doi-asserted-by":"publisher","DOI":"10.1080\/00140138908966919"},{"key":"CIT0074","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.1985.232519"},{"key":"CIT0075","doi-asserted-by":"publisher","DOI":"10.1145\/67449.67486"},{"key":"CIT0076","doi-asserted-by":"crossref","unstructured":"WINSTANLEY , A. C. and BUSTARD , D. W. 1990 , EXPOSE an animation tool for process-oriented specifications . Technical Report to the SCAFFOLD Project .","DOI":"10.1049\/sej.1991.0045"},{"key":"CIT0077","volume-title":"Mathematica","author":"WOLFRAM S.","year":"1988"},{"key":"CIT0078","doi-asserted-by":"publisher","DOI":"10.1145\/355598.362773"}],"container-title":["Behaviour & Information Technology"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/www.tandfonline.com\/doi\/pdf\/10.1080\/01449299508914624","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,29]],"date-time":"2019-04-29T11:35:14Z","timestamp":1556537714000},"score":1,"resource":{"primary":{"URL":"http:\/\/www.tandfonline.com\/doi\/abs\/10.1080\/01449299508914624"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1995,1]]},"references-count":72,"journal-issue":{"issue":"1","published-print":{"date-parts":[[1995,1]]}},"alternative-id":["10.1080\/01449299508914624"],"URL":"https:\/\/doi.org\/10.1080\/01449299508914624","relation":{},"ISSN":["0144-929X","1362-3001"],"issn-type":[{"value":"0144-929X","type":"print"},{"value":"1362-3001","type":"electronic"}],"subject":[],"published":{"date-parts":[[1995,1]]}}}