{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,28]],"date-time":"2025-10-28T00:28:17Z","timestamp":1761611297644},"publisher-location":"Berlin, Heidelberg","reference-count":24,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540539827"},{"type":"electronic","value":"9783540465638"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1991]]},"DOI":"10.1007\/3-540-53982-4_7","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T22:21:14Z","timestamp":1330208474000},"page":"103-120","source":"Crossref","is-referenced-by-count":5,"title":["Unifying initial and loose semantics of parameterized specifications in an arbitrary institution"],"prefix":"10.1007","author":[{"given":"Hubert","family":"Baumeister","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,7]]},"reference":[{"key":"7_CR1","unstructured":"Hubert Baumeister. \u00dcber die Stabilit\u00e4t parameterisierter algebraischer Spezifikationen (About the stability of parameterized algebraic specifications). Master's thesis, Universit\u00e4t Dortmund, July 1990."},{"key":"7_CR2","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":"7_CR3","doi-asserted-by":"crossref","unstructured":"Ingo Cla\u00dfen. Revised ACT ONE: Categorical constructions for an algebraic specification language. In H. Ehrig, H. Herrlich, J.-J. Kreowski, and G. Preu\u00df, editors, Categorical Methods in Computer Science with Aspects from Topology, number 393 in LNCS, pages 124\u2013141. Springer, 1987.","DOI":"10.1007\/3-540-51722-7_8"},{"key":"7_CR4","doi-asserted-by":"crossref","unstructured":"Hans-Dieter Ehrich, Martin Gogolla, and Udo Walter Lipeck. Algebraische Spezifikation abstrakter Datentypen (Algebraic Specification of Abstract Datatypes). B. G. Teubner Stuttgart, 1989.","DOI":"10.1007\/978-3-322-94709-3"},{"key":"7_CR5","doi-asserted-by":"crossref","unstructured":"Hartmut Ehrig. A categorical concept of constraints for algebraic specifications. In H. Ehrig, H. Herrlich, H.-J. Kreowski, and G. Preu\u00df, editors, Categorical Methods in Computer Science, number 393 in LNCS. Springer Verlag, 1989.","DOI":"10.1007\/3-540-51722-7_1"},{"key":"7_CR6","unstructured":"Hartmut Ehrig and Bernd Mahr. Fundamentals of Algebraic Specification 1: Equations and initial Semantics, volume 6 of EATCS Monographs on Theoretical Computer Science. Springer, 1985."},{"key":"7_CR7","doi-asserted-by":"crossref","unstructured":"Hartmut Ehrig and Bernd Mahr. Fundamentals of Algebraic Specification 2: Module Specifications and Constraints, volume 21 of EATCS Monographs on Theoretical Computer Science. Springer, 1990.","DOI":"10.1007\/978-3-642-61284-8_4"},{"key":"7_CR8","first-page":"263","volume":"89","author":"H. Ehrig","year":"1989","unstructured":"H. Ehrig, P. Pepper, and F. Orejas. On recent trends in algebraic specification. In ICALP 89, pages 263\u2013288, 1989.","journal-title":"ICALP"},{"key":"7_CR9","unstructured":"J. A. Goguen and R. Burstall. INSTITUTIONS: Abstract model theory for specification and programming, 1990."},{"key":"7_CR10","unstructured":"J.A. Goguen, J.W. Thatcher, and E.G. Wagner. An initial algebra approach to the specification, correctness and implementation of abstract data types, 1976."},{"key":"7_CR11","doi-asserted-by":"crossref","unstructured":"Hans-J\u00f6rg Kreowski. Colimits as parameterized data types. In H. Ehrig, H. Herrlich, H.-J. Kreowski, and G. Preu\u00df, editors, Categorical methods in Computer Science with aspects from Topology, pages 36\u201349. Springer, 1989.","DOI":"10.1007\/3-540-51722-7_3"},{"key":"7_CR12","unstructured":"Udo Lipeck. Ein algebraischer Kalk\u00fcl f\u00fcr einen strukturierten Entwurf von Datenabstraktionen (An Algebraic Calculus for a Structured Design of Data Abstraction). PhD thesis, Universit\u00e4t Dortmund, 1982."},{"key":"7_CR13","unstructured":"Saunders Mac Lane. Categories for the working mathematician. Graduated Texts in Mathematics. Springer, fourth edition, 1988."},{"key":"7_CR14","doi-asserted-by":"crossref","unstructured":"F. Orejas, V. Sacrist\u00e1n, and S. Clerici. Development of algebraic specifications with constraints. In H. Ehrig, H. Herrlich, H.-J. Kreowski, and G. Preu\u00df, editors, Categorical methods in Computer Science with aspects from Topology, pages 36\u201349. Springer, 1989.","DOI":"10.1007\/3-540-51722-7_7"},{"key":"7_CR15","doi-asserted-by":"crossref","unstructured":"Axel Poign\u00e9. Foundations are rich institutions, but institutions are poor foundations. In H. Ehrig, H. Herrlich, H.-J. Kreowski, and G. Preu\u00df, editors, Categorical methods in Computer Science with aspects from Topology, pages 82\u2013101. Springer, 1989.","DOI":"10.1007\/3-540-51722-7_6"},{"key":"7_CR16","unstructured":"H. Reichel. Software specification by behavioural canons. TU Magdeburg, 1986."},{"key":"7_CR17","unstructured":"Oliver Schoett. Data Abstraction and the Correctness of Modular Programming. PhD thesis, University of Edinburgh, 1986."},{"key":"7_CR18","unstructured":"Donald Sannella, Stefan Sokolowski, and Andrzej Tarlecki. Toward formal development of programs from algebraic specifications: parameterization revisited, 1990."},{"key":"7_CR19","unstructured":"Donald Sannella and Andrzej Tarlecki. On observational equivalence and algebraic specification. Technical Report CSR-172-84, University of Edinburgh, 1984."},{"key":"7_CR20","doi-asserted-by":"crossref","unstructured":"Donald Sannella and Andrzej Tarlecki. Specifications in an arbitrary institution. Draft 1, March 1985.","DOI":"10.1007\/3-540-13346-1_17"},{"key":"7_CR21","doi-asserted-by":"crossref","unstructured":"Donald Sannella and Andrzej Tarlecki. Toward formal development of ML programs: Foundations and methodology. draft (short version), September 1988.","DOI":"10.1007\/3-540-50940-2_48"},{"key":"7_CR22","unstructured":"Donald Sannella and Martin Wirsing. A kernel language for algebraic specification. Internal Report CSR-131-83, University of Edinburgh, September 1983."},{"issue":"4","key":"7_CR23","doi-asserted-by":"crossref","first-page":"711","DOI":"10.1145\/69622.357192","volume":"4","author":"J. W. Thatcher","year":"1982","unstructured":"J. W. Thatcher, E. G. Wagner, and J. B. Wright. Data type specification: Parameterization and the power of specification techniques. acm Transactions on Programming Languages and Systems, 4(4):711\u2013732, October 1982.","journal-title":"acm Transactions on Programming Languages and Systems"},{"key":"7_CR24","series-title":"Research Report","volume-title":"Canonical constraints for parameterized data types","author":"E. G. Wagner","year":"1985","unstructured":"E. G. Wagner and H. Ehrig. Canonical constraints for parameterized data types. Research Report RC 11248 (50666), IBM Thomas J. Watson Research Center, Yorktown Heights, New York 10598 \/ USA, Jul 1985."}],"container-title":["Lecture Notes in Computer Science","TAPSOFT '91"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-53982-4_7.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T20:51:53Z","timestamp":1605646313000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-53982-4_7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1991]]},"ISBN":["9783540539827","9783540465638"],"references-count":24,"URL":"https:\/\/doi.org\/10.1007\/3-540-53982-4_7","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1991]]}}}