{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T21:17:54Z","timestamp":1725484674940},"publisher-location":"Berlin, Heidelberg","reference-count":12,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540430445"},{"type":"electronic","value":"9783540453482"}],"license":[{"start":{"date-parts":[[2001,1,1]],"date-time":"2001-01-01T00:00:00Z","timestamp":978307200000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2001]]},"DOI":"10.1007\/3-540-45348-2_9","type":"book-chapter","created":{"date-parts":[[2007,5,31]],"date-time":"2007-05-31T00:59:19Z","timestamp":1180573159000},"page":"57-71","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":14,"title":["Detecting Multiple Classes of User Errors"],"prefix":"10.1007","author":[{"given":"Paul","family":"Curzon","sequence":"first","affiliation":[]},{"given":"Ann","family":"Blandford","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2001,12,20]]},"reference":[{"key":"9_CR1","doi-asserted-by":"publisher","first-page":"455","DOI":"10.1006\/jvlc.1999.0126","volume":"10","author":"R. Butterworth","year":"1999","unstructured":"R. Butterworth, A. Blandford and D. Duke. Using formal models to explore display based usability issues. Journal of Visual Languages and Computing, 10:455\u2013479, 1999.","journal-title":"Journal of Visual Languages and Computing"},{"issue":"1","key":"9_CR2","doi-asserted-by":"publisher","first-page":"31","DOI":"10.1016\/S0364-0213(99)80018-4","volume":"21","author":"M. Byrne","year":"1997","unstructured":"M. Byrne and S. Bovair. A working memory model of a common procedural error. Cognitive Science, 21(1): 31\u201361, 1997.","journal-title":"Cognitive Science"},{"issue":"1","key":"9_CR3","doi-asserted-by":"publisher","first-page":"7","DOI":"10.1023\/A:1008663530211","volume":"10","author":"F. Corella","year":"1997","unstructured":"F. Corella, Z. Zhou, X. Song, M. Langevin and E. Cerny. Multiway Decision Graphs for automated hardware verification. Formal Methods in System Design, 10(1): 7\u201346, 1997.","journal-title":"Formal Methods in System Design"},{"key":"9_CR4","unstructured":"P. Curzon and A. Blandford. Using a verification system to reason about post-completion errors. Presented at Design, Specification and Verification of Interactive Systems 2000. Available from http:\/\/www.cs.mdx.ac.uk\/puma\/ ."},{"key":"9_CR5","unstructured":"P. Curzon and A. Blandford. Reasoning about order errors in interaction. Supplementary Proceedings of the International Conference on Theorem Proving in Higher-order Logics, August 2000. Available from http:\/\/www.cs.mdx.ac.uk\/puma\/ ."},{"key":"9_CR6","doi-asserted-by":"crossref","unstructured":"P. Curzon and I. Leslie. Improving hardware designs whilst simplifying their proof. Designing Correct Circuits, Workshops in Computing, Springer-Verlag 1996.","DOI":"10.14236\/ewic\/DCC1996.1"},{"issue":"4","key":"9_CR7","doi-asserted-by":"publisher","first-page":"337","DOI":"10.1207\/s15327051hci1304_1","volume":"13","author":"D.J. Duke","year":"1998","unstructured":"D.J. Duke, P.J. Barnard, D.A. Duce, and J. May. Syndetic modelling. Human-Computer Interaction, 13(4): 337\u2013394, 1998.","journal-title":"Human-Computer Interaction"},{"key":"9_CR8","unstructured":"M.J.C. Gordon and T.F. Melham. Introduction to HOL: a theorem proving environment for higher order logic. Cambridge University Press 1993."},{"key":"9_CR9","unstructured":"W-O Lee. The effects of skills development and feedback on action slips. In Monk, Diaper, and Harrison, editors, People and Computers VII. CUP, 1992."},{"key":"9_CR10","doi-asserted-by":"crossref","unstructured":"T.G. Moher and V. Dirda. Revising mental models to accommodate expectation failures in human-computer dialogues. In Design, Specification and Verification of Interactive Systems\u201995, pp 76\u201392. Wien: Springer, 1995.","DOI":"10.1007\/978-3-7091-9437-9_6"},{"key":"9_CR11","doi-asserted-by":"crossref","unstructured":"F. Paterno' and M. Mezzanotte. Formal analysis of user and system interactions in the CERD case study. In Proceedings. of EHCI\u201995: IFIP Working Conference on Engineering for Human-Computer Interaction, pp 213\u2013226. Chapman and Hall, 1995.","DOI":"10.1007\/978-0-387-34907-7_12"},{"key":"9_CR12","doi-asserted-by":"crossref","unstructured":"J. Reason. Human Error. Cambridge University Press, 1990.","DOI":"10.1017\/CBO9781139062367"}],"container-title":["Lecture Notes in Computer Science","Engineering for Human-Computer Interaction"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-45348-2_9","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,22]],"date-time":"2020-04-22T14:10:33Z","timestamp":1587564633000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-45348-2_9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2001]]},"ISBN":["9783540430445","9783540453482"],"references-count":12,"URL":"https:\/\/doi.org\/10.1007\/3-540-45348-2_9","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2001]]},"assertion":[{"value":"20 December 2001","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}