{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:14:36Z","timestamp":1725664476163},"publisher-location":"Berlin, Heidelberg","reference-count":17,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540592938"},{"type":"electronic","value":"9783540492337"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1995]]},"DOI":"10.1007\/3-540-59293-8_233","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T12:13:31Z","timestamp":1330258411000},"page":"756-771","source":"Crossref","is-referenced-by-count":6,"title":["Relations as abstract datatypes: An institution to specify relations between algebras"],"prefix":"10.1007","author":[{"given":"Hubert","family":"Baumeister","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,1]]},"reference":[{"key":"50_CR1","doi-asserted-by":"crossref","unstructured":"Egidio Astesiano and Elena Zucca. D-oids: A model for dynamic data-types. Mathematical Structures in Computer Science, 1994. to appear.","DOI":"10.1017\/S0960129500000736"},{"key":"50_CR2","doi-asserted-by":"crossref","unstructured":"Hubert Baumeister. Unifying initial and loose semantics of parameterized specifications in an arbitrary institution. In Proceedings Tapsoft\/CAAP, Brighton, UK, number 493 in LNCS, pages 103\u2013120. Springer, April 1991.","DOI":"10.1007\/3-540-53982-4_7"},{"key":"50_CR3","doi-asserted-by":"crossref","unstructured":"R. M. Burstall and J. A. Goguen. The semantics of Clear, a specification language, February 1980.","DOI":"10.1007\/3-540-10007-5_41"},{"key":"50_CR4","unstructured":"P. Dauchy and M.-C. Gaudel. Algebraic specifications with implicit state, February 1994."},{"key":"50_CR5","unstructured":"R. Diaconescu, J. Goguen, and P. Stefaneas. Logical support for modularisation. Programming Research Group, Oxford University, August 1991."},{"key":"50_CR6","doi-asserted-by":"crossref","unstructured":"H. Ehrig, P. Pepper, and F. Orejas. On recent trends in algebraic specification. In Proceedings ICALP, Stresa, Italy, number 372 in LNCS, pages 263\u2013288. Springer, July 1989.","DOI":"10.1007\/BFb0035766"},{"key":"50_CR7","unstructured":"Hartmut Ehrig and Bernd Mahr. Fundamentals of Algebraic Specification 1: Equations and initial Semantics. Number 6 in EATCS Monographs on Theoretical Computer Science. Springer, 1985."},{"key":"50_CR8","first-page":"162","volume":"53","author":"H. Ehrig","year":"1994","unstructured":"Hartmut Ehrig and Fernando Orejas. Dynamic abstract data types, an informal proposal. Bulletin of the EATCS, (53):162\u2013169, June 1994.","journal-title":"Bulletin of the EATCS"},{"key":"50_CR9","first-page":"22","volume":"50","author":"H. Ganzinger","year":"1981","unstructured":"Harald Ganzinger. Programs as transformations of algebraic theories (extended abstract). Informatik Fachberichte, 50:22\u201341, 1981.","journal-title":"Informatik Fachberichte"},{"issue":"1","key":"50_CR10","doi-asserted-by":"crossref","first-page":"95","DOI":"10.1145\/147508.147524","volume":"39","author":"J. A. Goguen","year":"1992","unstructured":"J. A. Goguen and R. Burstall. Institutions: Abstract model theory for specification and programming. Journal of the Association for Computing Machinery, 39(1):95\u2013146, January 1992.","journal-title":"Journal of the Association for Computing Machinery"},{"key":"50_CR11","unstructured":"Yuri Gurevich. Evolving algebras: An attempt to discover semantics. Bulletin ofthe EATCS, (43):264\u2013284, February 1991."},{"key":"50_CR12","unstructured":"J. V. Guttag, J. J. Horning, and J. M. Wing. Larch in five easy pieces. Report 5, DEC Systems Research Center, July 1985."},{"key":"50_CR13","volume-title":"International series in computer science","author":"C. B. Jones","year":"1990","unstructured":"Cliff B. Jones. Systematic Software Development Using VDM. International series in computer science. Prentice Hall, New York, 2sd edition, 1990.","edition":"2sd edition"},{"key":"50_CR14","unstructured":"Saunders Mac Lane. Categories for the working mathematician. Graduated Texts in Mathematics. Springer, 4th edition, 1988."},{"issue":"2\/3","key":"50_CR15","doi-asserted-by":"publisher","first-page":"165","DOI":"10.1016\/0890-5401(88)90008-9","volume":"76","author":"D. Sannella","year":"1988","unstructured":"Donald Sannella and Andrzej Tarlecki. Specifications in an arbitrary institution. Information and Computation, 76(2\/3):165\u2013210, February\/March 1988.","journal-title":"Information and Computation"},{"key":"50_CR16","unstructured":"Donald Sannella and Martin Wirsing. A kernel language for algebraic specification. Internal Report CSR-131-83, University of Edinburgh, September 1983."},{"key":"50_CR17","volume-title":"International series in computer science","author":"J. M. Spivey","year":"1992","unstructured":"J. Michael Spivey. The Z Notation: A Reference Manual. International series in computer science. Prentice Hall, New York, 2nd edition, 1992.","edition":"2nd edition"}],"container-title":["Lecture Notes in Computer Science","TAPSOFT '95: Theory and Practice of Software Development"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-59293-8_233.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T16:26:44Z","timestamp":1605630404000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-59293-8_233"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1995]]},"ISBN":["9783540592938","9783540492337"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/3-540-59293-8_233","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1995]]}}}