{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:23:16Z","timestamp":1725664996618},"publisher-location":"Berlin, Heidelberg","reference-count":15,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540642992"},{"type":"electronic","value":"9783540697190"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1998]]},"DOI":"10.1007\/3-540-64299-4_29","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T23:37:17Z","timestamp":1330299437000},"page":"107-121","source":"Crossref","is-referenced-by-count":6,"title":["Completeness of a logical system for structured specifications"],"prefix":"10.1007","author":[{"given":"Tomasz","family":"Borzyszkowski","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,8]]},"reference":[{"key":"5_CR1","unstructured":"J. L. Bell, M. Machover. A course in mathematical logic. North-Holland, 1986."},{"issue":"2","key":"5_CR2","doi-asserted-by":"publisher","first-page":"335","DOI":"10.1145\/77600.77621","volume":"37","author":"J. A. Bergstra","year":"1990","unstructured":"J. A. Bergstra, J. Heering, P. Klint. Module algebra. Journal of the ACM, 37(2):335\u2013372, April 1990.","journal-title":"Journal of the ACM"},{"key":"5_CR3","unstructured":"M. V. Cengarle. Formal Specifications with High-Order Parameterization. Ph.D. thesis, Institut f\u00fcr Informatik, Ludwig-Maximilians-Universit\u00e4t M\u00fcenchen, 1994."},{"key":"5_CR4","unstructured":"R. Diaconescu, J. Goguen, P. Stefaneas. Logical Support for Modularization. In: G. Huet, G. Plotkin, editors Logical Environments, Proceedings of a Workshop held in Edinburgh, Scotland, May 1991, Cambridge University Press, pages 83\u2013130, 1993."},{"key":"5_CR5","unstructured":"J. Farr\u00e9s Casals. Verification in ASL and Related Specification Languages. Ph.D. thesis, report CST-92-92, Dept. of Computer Science, University of Edinburgh, 1992."},{"key":"5_CR6","unstructured":"J. A. Goguen, R. M. Burstall. Institutions: abstract model theory for specifications and programming. Report ECS-LFCS-90-106, University of Edinburgh, 1990."},{"issue":"3","key":"5_CR7","first-page":"307","volume":"11","author":"J. A. Goguen","year":"1985","unstructured":"J. A. Goguen, J.Meseguer. Completeness of many-sorted equational logic. Houston Journal of Mathematics, volume. 11(3), pages 307\u2013334, 1985.","journal-title":"Houston Journal of Mathematics"},{"key":"5_CR8","doi-asserted-by":"crossref","unstructured":"P. D. Mosses. CoFI: The Common Framework Initiative for Algebraic Specification and Development. Theory and Practice of Software Development, volume 1214 of LNCS, pages 115\u2013137, Springer-Verlag, 1997.","DOI":"10.1007\/BFb0030591"},{"key":"5_CR9","doi-asserted-by":"crossref","unstructured":"D. Sannella, R. Burstall. Structured Theories in LCF. Proc. 8th Colloq. on Trees in Algebra and Programming, L'Aquila, LNCS 159, pp. 377\u2013391, Springer 1983.","DOI":"10.1007\/3-540-12727-5_24"},{"key":"5_CR10","doi-asserted-by":"crossref","first-page":"689","DOI":"10.1007\/BF01191893","volume":"29","author":"D. Sannella","year":"1992","unstructured":"D. Sannella, S. Sokolowski, A. Tarlecki. Towards formal development of programs from algebraic specification: parameterization revised. Acta Informatica, volume 29, pages 689\u2013736, 1992.","journal-title":"Acta Informatica"},{"key":"5_CR11","doi-asserted-by":"publisher","first-page":"165","DOI":"10.1016\/0890-5401(88)90008-9","volume":"76","author":"D. Sannella","year":"1988","unstructured":"D. Sannella, A. Tarlecki. Specifications in an Arbitrary Institution Information and Computation, volume 76, pages 165\u2013210, 1988.","journal-title":"Information and Computation"},{"key":"5_CR12","unstructured":"D. Sannella, A. Tarlecki. Essential concepts of algebraic specification and program development. To appear in: Formal Aspects of Computing."},{"key":"5_CR13","doi-asserted-by":"crossref","unstructured":"A. Tarlecki. Bits and pieces of the theory of institutions. Proc. Workshop on Category Theory and Computer Programming, Guildford. Springer LNCS 240, pages 334\u2013363, 1986.","DOI":"10.1007\/3-540-17162-2_132"},{"key":"5_CR14","doi-asserted-by":"crossref","unstructured":"A. Tarlecki. Moving between logical systems. Recent Trends in Data Type Specifications. Selected Papers. 11th Workshop on Specification of Abstract Data Types ADT'95, Olso, September 1995, eds. M. Haveraaen, O. J. Dahl, O. Owe, Springer LNCS 1130, pages 478\u2013502, 1996.","DOI":"10.1007\/3-540-61629-2_59"},{"key":"5_CR15","unstructured":"M. Wirsing. Structured Specifications: Syntax, Semantics and Proof Calculus. In F. L. Bauer, W. Brauer, and H. Schwichtenberg, editors, Logic and Algebra of Specification, volume 94 of NATO ASI Series F: Computer and Systems Sciences, pages 411\u2013442. Springer Verlag, 1991."}],"container-title":["Lecture Notes in Computer Science","Recent Trends in Algebraic Development Techniques"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-64299-4_29.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T21:19:47Z","timestamp":1605647987000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-64299-4_29"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1998]]},"ISBN":["9783540642992","9783540697190"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/3-540-64299-4_29","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1998]]}}}