{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T22:55:00Z","timestamp":1725663300239},"publisher-location":"Berlin, Heidelberg","reference-count":17,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540127277"},{"type":"electronic","value":"9783540387145"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1983]]},"DOI":"10.1007\/3-540-12727-5_24","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T12:54:58Z","timestamp":1330174498000},"page":"377-391","source":"Crossref","is-referenced-by-count":30,"title":["Structured theories in LCF"],"prefix":"10.1007","author":[{"given":"D. T.","family":"Sannella","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"R. M.","family":"Burstall","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,5,29]]},"reference":[{"key":"24_CR1","doi-asserted-by":"crossref","unstructured":"Thatcher, J.W., Wagner, E.G. and Wright, J.B. Data type specification: parameterization and the power of specification techniques. SIGACT 10th Annual Symp. on the Theory of Computing, San Diego, California.","DOI":"10.1145\/800133.804340"},{"key":"24_CR2","unstructured":"Abrial, J.R., Schuman, S.A. and Meyer, B. Specification language Z. Massachusetts Computer Associates Inc., Boston, Massachusetts."},{"key":"24_CR3","unstructured":"Bauer, F.L. et al (the CIP Language Group) Report on a wide spectrum language for program specification and development. Report TUM-18104, Technische Univ. MUnchen."},{"key":"24_CR4","unstructured":"Burstall, R.M. and Goguen, J.A. Putting theories together to make specifications. Proc. 5th Intl. Joint Conf. on Artificial Intelligence, Cambridge, Massachusetts, pp. 1045\u20131058."},{"key":"24_CR5","doi-asserted-by":"crossref","unstructured":"Burstall, R.M. and Goguen, J.A. The semantics of Clear, a specification language. Proc. of Advanced Course on Abstract Software Specifications, Copenhagen. Springer Lecture Notes in Computer Science, Vol. 86, pp. 292\u2013332.","DOI":"10.1007\/3-540-10007-5_41"},{"key":"24_CR6","unstructured":"Cohn, A.J. Machine assisted proofs of recursion implementation. Ph.D. thesis, Dept. of Computer Science, Univ. of Edinburgh."},{"key":"24_CR7","unstructured":"Davenport, J.H. and Jenks, R.D. MODLISP. Proc. 1980 LISP Conference, Stanford, California, pp. 65\u201374."},{"key":"24_CR8","unstructured":"Goguen, J.A. and Burstall, R.M. Institutions: Iogic and specification. Draft report, SRI International."},{"key":"24_CR9","unstructured":"Gordon, M.J., Milner, A.J.R. and Wadsworth, C.P. Edinburgh LCF. Springer Lecture Notes in Computer Science, Vol. 78."},{"key":"24_CR10","doi-asserted-by":"crossref","unstructured":"Guttag, J.V., Horowitz, E. and Musser, D.R. Abstract data types and software validation. CACM 21, 12 pp. 1048\u20131064.","DOI":"10.1145\/359657.359666"},{"key":"24_CR11","unstructured":"Honda, M. and Nakajima, R. Interactive theorem proving on hierarchically and modularly structured sets of very many axioms. Proc. 6th Intl. Joint Conf. on Artificial Intelligence, Tokyo, pp. 400\u2013402."},{"key":"24_CR12","unstructured":"Leszczylowski, J. META SYSTEM. Preliminary draft report, Institute of Computer Science, Polish Academy of Sciences."},{"key":"24_CR13","doi-asserted-by":"crossref","unstructured":"Leszczylowski, J. and Wirsing, M. A system for reasoning within and about algebraic specifications. Proc. 5th Intl. Symp. on Programming, Turin. Springer Lecture Notes in Computer Science, Vol. 137, pp. 257\u2013282.","DOI":"10.1007\/3-540-11494-7_18"},{"key":"24_CR14","doi-asserted-by":"crossref","unstructured":"Nakajima, R., Honda, M. and Nakahara, H. Hierarchical program specification and verification \u2014 a many-sorted logical approach. Acta Informatica 14 pp. 135\u2013155.","DOI":"10.1007\/BF00288541"},{"key":"24_CR15","doi-asserted-by":"crossref","unstructured":"Nelson, G. and Oppen, D.C. Simplification by cooperating decision procedures. TOPLAS 1, 2 pp. 245\u2013257.","DOI":"10.1145\/357073.357079"},{"key":"24_CR16","unstructured":"Sannella, D.T. Semantics, implementation and pragmatics of Clear, a program specification language. Ph.D. thesis, Dept. of Computer Science, Univ. of Edinburgh."},{"key":"24_CR17","unstructured":"Sannella, D.T. A new semantics for Clear. To appear in Acta Informatica. Also Report CSR-79-81, Dept. of Computer Science, Univ. of Edinburgh."}],"container-title":["Lecture Notes in Computer Science","CAAP'83"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-12727-5_24.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T15:06:14Z","timestamp":1605625574000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-12727-5_24"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1983]]},"ISBN":["9783540127277","9783540387145"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/3-540-12727-5_24","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1983]]}}}