{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,27]],"date-time":"2025-03-27T17:08:33Z","timestamp":1743095313757,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":20,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540662464"},{"type":"electronic","value":"9783540484837"}],"license":[{"start":{"date-parts":[[1999,1,1]],"date-time":"1999-01-01T00:00:00Z","timestamp":915148800000},"content-version":"unspecified","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":[[1999]]},"DOI":"10.1007\/3-540-48483-3_2","type":"book-chapter","created":{"date-parts":[[2010,3,29]],"date-time":"2010-03-29T21:13:32Z","timestamp":1269897212000},"page":"16-30","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":6,"title":["Moving Specification Structures Between Logical Systems"],"prefix":"10.1007","author":[{"given":"Tomasz","family":"Borzyszkowski","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2002,5,27]]},"reference":[{"key":"2_CR1","doi-asserted-by":"crossref","unstructured":"E. Astesiano, M. Cerioli. Multiparadigm Specication Languages: a First Attempt at Foundations. In C.A. Middelburg D.J. Andrews, J.F. Groote,editor, Semantics of Specication Languages (SoSL\u201993),Workshops in Computing, pages 168\u2013185. Springer Verlag, 1994.","DOI":"10.1007\/978-1-4471-3229-5_10"},{"issue":"2","key":"2_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":"2_CR3","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","first-page":"107","DOI":"10.1007\/3-540-64299-4_29","volume-title":"Recent Trends in Algebraic Development Techniques, Selected Papers, 12th International Workshop WADT\u201997, Tarquinia, Italy","author":"T. Borzyszkowski","year":"1997","unstructured":"T. Borzyszkowski. Completeness of the logical system for structured specifications. Recent Trends in Algebraic Development Techniques, Selected Papers, 12th International Workshop WADT\u201997, Tarquinia, Italy, June 1997, ed. Francesco Parisi-Presicce, Springer LNCS 1376, pages 107\u2013121, 1997."},{"key":"2_CR4","doi-asserted-by":"publisher","first-page":"306","DOI":"10.1007\/BF02483730","volume":"15","author":"P. Burmeister","year":"1982","unstructured":"P. Burmeister. Partial algebras \u2014 survey of a unifying approach towards a two-valued model theory for partial algebras. Algebra Universalis, 15:306\u2013358, 1982.","journal-title":"Algebra Universalis"},{"key":"2_CR5","doi-asserted-by":"crossref","unstructured":"P. Burmeister. A model theoretic approach to partial algebras. Akademie Verlag, Berlin, 1986.","DOI":"10.1515\/9783112720875"},{"key":"2_CR6","unstructured":"M. V. Cengarle. Formal Specications with High-Order Parameterization. Ph.D. thesis, Institut f\u00fcr Informatik, Ludwig-Maximilians-Universit\u00e4t M\u00fcenchen, 1994."},{"issue":"2","key":"2_CR7","doi-asserted-by":"publisher","first-page":"311","DOI":"10.1016\/S0304-3975(96)00160-0","volume":"173","author":"M. Cerioli","year":"1997","unstructured":"M. Cerioli, J. Meseguer. May I Borrow Your Logic? (Transporting Logical Structures along Maps) Theoretical Computer Science, 173(2):311\u2013347, 1997.","journal-title":"Theoretical Computer Science"},{"key":"2_CR8","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, pp. 83\u2013130, 1993."},{"key":"2_CR9","doi-asserted-by":"publisher","first-page":"95","DOI":"10.1145\/147508.147524","volume":"39","author":"J. A. Goguen","year":"1992","unstructured":"J. A. Goguen, R. M. Burstall. Institutions: abstract model theory for specifications and programming. Journal of the Assoc. for Computing Machinery, 39:95\u2013146, 1992.","journal-title":"Journal of the Assoc. for Computing Machinery"},{"issue":"3","key":"2_CR10","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":"2_CR11","doi-asserted-by":"publisher","first-page":"113","DOI":"10.1016\/0168-0072(94)90009-4","volume":"67","author":"R. Harper","year":"1994","unstructured":"R. Harper, D. Sannella, A. Tarlecki. Structured theory presentations and logic representations. Annals of Pure and Applied Logic, volume 67, pages 113\u2013160, North-Holland 1994.","journal-title":"Annals of Pure and Applied Logic"},{"key":"2_CR12","doi-asserted-by":"crossref","unstructured":"J. Meseguer, General logic. Logic Colloquium \u201987, eds. H. D. Ebbinghaus et al., pages 279\u2013329, North-Holland 1989.","DOI":"10.1016\/S0049-237X(08)70132-0"},{"key":"2_CR13","unstructured":"T. Mossakowski. Representations, Hierarchies, and Graphs of Institutions. Ph.D. thesis, Fachbereich Mathemetik und Informatik der Universit\u00e4t Bremen, 1996."},{"key":"2_CR14","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","first-page":"115","DOI":"10.1007\/BFb0030591","volume-title":"Theory and Practice of Software Development","author":"P. D. Mosses","year":"1997","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."},{"key":"2_CR15","doi-asserted-by":"publisher","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":"2_CR16","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":"2_CR17","doi-asserted-by":"publisher","first-page":"229","DOI":"10.1007\/BF01211084","volume":"9","author":"D. Sannella","year":"1997","unstructured":"D. Sannella, A. Tarlecki. Essential concepts of algebraic specification and program development. Formal Aspects of Computing, vol. 9, pages 229\u2013269, 1997.","journal-title":"Formal Aspects of Computing"},{"key":"2_CR18","series-title":"Lect Notes Comput Sci","volume-title":"Proc. Workshop on Category Theory and Computer Programming, Guildford","author":"A. Tarlecki","year":"1986","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-363, 1986."},{"key":"2_CR19","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","first-page":"478","DOI":"10.1007\/3-540-61629-2_59","volume-title":"Recent Trends in Data Type Specifications. Selected Papers. 11th Workshop on Specification of Abstract Data Types ADT\u201995","author":"A. Tarlecki","year":"1996","unstructured":"A. Tarlecki. Moving between logical systems. Recent Trends in Data Type Specifications. Selected Papers. 11th Workshop on Specification of Abstract Data Types ADT\u201995, Olso, September 1995, eds. M. Haveraaen, O. J. Dahl, O. Owe, Springer LNCS 1130, pages 478\u2013502, 1996."},{"key":"2_CR20","unstructured":"M. Wirsing. Structured Specifications: Syntax, Semantics and Proof Calculus. In F. L. Bauer, W. Brauer, and H. Schwichtenberg, editors, Logic and Algebra of Speci cation, 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":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-48483-3_2","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,2,19]],"date-time":"2025-02-19T19:15:28Z","timestamp":1739992528000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-48483-3_2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1999]]},"ISBN":["9783540662464","9783540484837"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/3-540-48483-3_2","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1999]]},"assertion":[{"value":"27 May 2002","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}