{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,15]],"date-time":"2025-10-15T17:26:34Z","timestamp":1760549194308},"publisher-location":"Berlin, Heidelberg","reference-count":12,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540584506"},{"type":"electronic","value":"9783540488033"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1994]]},"DOI":"10.1007\/3-540-58450-1_49","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T16:10:55Z","timestamp":1330272655000},"page":"285-299","source":"Crossref","is-referenced-by-count":7,"title":["S: A machine readable specification notation based on higher order logic"],"prefix":"10.1007","author":[{"given":"J.","family":"Joyce","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"N.","family":"Day","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"M.","family":"Donat","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,8]]},"reference":[{"key":"19_CR1","unstructured":"Jonathan Bowen and Mike Gordon. Z and HOL. Draft copy."},{"key":"19_CR2","doi-asserted-by":"crossref","unstructured":"D. Craigen, S. Gerhart and T. Ralston. An International Survey of Industrial Applications of Formal Methods (2 Volumes). Technical Report #NRL\/FR\/5546-93-9581, Naval Research Laboratory, Washington, D.C.","DOI":"10.1016\/B978-0-8155-1362-9.50005-6"},{"key":"19_CR3","unstructured":"Nancy Day. A Model Checker for Statecharts. Technical Report 93-35, Department of Computer Science, University of British Columbia, October, 1993."},{"key":"19_CR4","unstructured":"Michael S. Deutsch and Ronald R. Willis. Software Quality Engineering \u2014 A Total Technical and Management Approach. Prentice Hall Series in Software Engineering, Englewood Cliffs, New Jersey, 1988."},{"key":"19_CR5","unstructured":"M. J. C. Gordon and T. F. Melham (eds.,). Introduction to HOL: a theorem proving environment for higher order logic. Cambridge University Press, 1993."},{"key":"19_CR6","first-page":"231","volume":"8","author":"D. Harel","year":"1987","unstructured":"David Harel. Statecharts: A visual formalism for complex systems. Science of Computing, 8:231\u2013274, 1987.","journal-title":"Science of Computing"},{"issue":"1","key":"19_CR7","first-page":"10 13","volume":"1","author":"R.B. Jones","year":"1992","unstructured":"R.B. Jones. ICL ProofPower. BCS FACS FACTS, 1(1): 10 13, 1992. Series III.","journal-title":"BCS FACS FACTS"},{"key":"19_CR8","unstructured":"J. Joyce and N. Day. S: A General Purpose Specification Notation. In preparation."},{"key":"19_CR9","doi-asserted-by":"crossref","unstructured":"Sanjiv Narayan, Frank Vahid, and Daniel D. Gajski. System Specification with the SpecCharts Language. IEEE Design and Test of Computers, pages 6\u201313, December, 1992.","DOI":"10.1109\/54.173326"},{"key":"19_CR10","unstructured":"J.M. Spivey. The Z Notation: A Reference Manual. 2nd edition, Prentice-Hall, 1992."},{"key":"19_CR11","unstructured":"J.M. Spivey. The fuzz Manual. 2nd edition, Computer Science Consultancy."},{"issue":"9","key":"19_CR12","doi-asserted-by":"crossref","first-page":"8","DOI":"10.1109\/2.58215","volume":"23","author":"J. M. Wing","year":"1990","unstructured":"Jeannette M. Wing. A Specifier's Introduction to Formal Methods. Computer, 23(9):8\u201322, September, 1990.","journal-title":"Computer"}],"container-title":["Lecture Notes in Computer Science","Higher Order Logic Theorem Proving and Its Applications"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-58450-1_49.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T21:21:30Z","timestamp":1605648090000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-58450-1_49"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1994]]},"ISBN":["9783540584506","9783540488033"],"references-count":12,"URL":"https:\/\/doi.org\/10.1007\/3-540-58450-1_49","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1994]]}}}