{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T22:56:59Z","timestamp":1725663419523},"publisher-location":"Berlin, Heidelberg","reference-count":12,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540517221"},{"type":"electronic","value":"9783540467878"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1989]]},"DOI":"10.1007\/3-540-51722-7_1","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T21:13:42Z","timestamp":1330204422000},"page":"1-15","source":"Crossref","is-referenced-by-count":6,"title":["A categorical concept of constraints for algebraic specifications"],"prefix":"10.1007","author":[{"given":"Hartmut","family":"Ehrig","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,5,31]]},"reference":[{"key":"1_CR1","doi-asserted-by":"crossref","first-page":"292","DOI":"10.1007\/3-540-10007-5_41","volume":"86","author":"R.M. Burstall","year":"1980","unstructured":"Burstall, R.M.; Goguen, J.A.: Semantics of CLEAR, a specification language. Abstract Software Specifications, D. Bj\u00d8rner (ed); Proc. 1979 Copenhagen Winter School, Springer Lecture Notes in Computer Science 86, 1980, 292\u2013332","journal-title":"Springer Lecture Notes in Computer Science"},{"key":"1_CR2","unstructured":"CIP Language Group: Report on a Wide Spectrum Language for Program Specification and Development, Techn. Report TUM-I8104, TU M\u00fcnchen, 1981"},{"key":"1_CR3","first-page":"1","volume":"112","author":"H. Ehrig","year":"1981","unstructured":"Ehrig, H.: Algebraic theory of parameterized specifications with requirements. 6e Coll. Les Arbres en Algebre et Programmation, Genova 1981, Springer LNCS 112, 1\u201324","journal-title":"Springer LNCS"},{"key":"1_CR4","volume-title":"EATCS Monographs on Theoretical Computer Science, Vol 6","author":"H. Ehrig","year":"1985","unstructured":"Ehrig, H.; Mahr, B.: Fundamentals of Algebraic Specification 1: Equations and Initial Semantics, EATCS Monographs on Theoretical Computer Science, Vol 6, Springer-Verlag Berlin Heidelberg New York Tokyo, 1985"},{"key":"1_CR5","doi-asserted-by":"crossref","unstructured":"Ehrig, H.; Mahr, B.: Fundamentals of Algebraic Specification 2, to appear 1989","DOI":"10.1007\/978-3-642-61284-8"},{"key":"1_CR6","unstructured":"Ehrig, H.; Wagner, E.G.; Thatcher, J.W.: Algebraic specifications with generating constraints. 10th Int. Coll. Automata, Languages, and Programming (1983), Barcelona"},{"key":"1_CR7","unstructured":"Goguen, J.A.; Burstall, R.M.: Institutions: Abstract Model Theory for Computer Science, Proc. Logics of Programming Workshop, LNCS 164 (1984)"},{"key":"1_CR8","unstructured":"Goguen, J.A.; Thatcher, J.W.; Wagner, E.G.: An initial algebra approach to the specification, correctness and implementation of abstract data types. IBM Research Report RC 6487, 1976. Also: Current Trends in Programming Methodology IV: Data Structuring (R. Yeh, ed.), Prentice Hall (1978), 80\u2013144"},{"key":"1_CR9","unstructured":"Hupbach, U.L.; Kaphengst, H.; Reichel, H.: Initial algebraic specification of data types, parameterized data types and algorithms. VEB Robotron ZFT, Techn. Report 15, Dresden 1980"},{"key":"1_CR10","first-page":"107","volume":"5","author":"P. Pepper","year":"1982","unstructured":"Pepper, P.; Broy, M.; Bauer, F.L.; Partsch, H.; Dosch, W.; Wirsing, M.: Abstrakte Datentypen: Die abstrakte Spezifikation von Rechenstrukturen. Informatik-Spektrum 5 (1982), 107\u2013119","journal-title":"Informatik-Spektrum"},{"key":"1_CR11","first-page":"291","volume":"88","author":"H. Reichel","year":"1980","unstructured":"Reichel, H.: Initially Restricting Algebraic Theories, Proc. MFCS'80, LNCS 88 (1980), p. 291","journal-title":"LNCS"},{"key":"1_CR12","doi-asserted-by":"crossref","first-page":"323","DOI":"10.1016\/0304-3975(87)90119-8","volume":"50","author":"E.G. Wagner","year":"1987","unstructured":"Wagner, E.G.; Ehrig, H.: Canonical Constraints for Parameterized Data Types, TCS 50 (1987), 323\u2013349","journal-title":"TCS"}],"container-title":["Lecture Notes in Computer Science","Categorical Methods in Computer Science With Aspects from Topology"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-51722-7_1.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T21:22:35Z","timestamp":1605648155000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-51722-7_1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1989]]},"ISBN":["9783540517221","9783540467878"],"references-count":12,"URL":"https:\/\/doi.org\/10.1007\/3-540-51722-7_1","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1989]]}}}