{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,27]],"date-time":"2025-05-27T12:59:28Z","timestamp":1748350768207},"publisher-location":"Berlin, Heidelberg","reference-count":23,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540544968"},{"type":"electronic","value":"9783540384168"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1991]]},"DOI":"10.1007\/3-540-54496-8_12","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T22:54:37Z","timestamp":1330210477000},"page":"220-245","source":"Crossref","is-referenced-by-count":3,"title":["Constraints for behavioural specifications"],"prefix":"10.1007","author":[{"given":"F.","family":"Orejas","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"P.","family":"Nivela","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,2]]},"reference":[{"key":"12_CR1","first-page":"292","volume":"86","author":"R.M. Burstall","year":"1980","unstructured":"Burstall, R.M.; Goguen, J.A. The semantics of Clear, a specification language, Proc. Copenhagen Winter School on Abstract Software Specification, Springer LNCS 86, pp. 292\u2013332, 1980.","journal-title":"Springer LNCS"},{"doi-asserted-by":"crossref","unstructured":"Clerici, S.; Orejas, F. GSBL: an algebraic specification language based on inheritance, Proc. Europ. Conf. on Object Oriented Programming, (Oslo, 1988), Springer LNCS.","key":"12_CR2","DOI":"10.1007\/3-540-45910-3_5"},{"doi-asserted-by":"crossref","unstructured":"Ehrig, H. A categorical concept of constraints for algebraic specifications, Proc. Int. Workshop on Categorical Methods in Computer Science with Aspects from Topology, Springer LNCS 332, (1989).","key":"12_CR3","DOI":"10.1007\/3-540-51722-7_1"},{"doi-asserted-by":"crossref","unstructured":"Ehrig, H., Mahr, B.Fundamentals of algebraic specification 1, EATCS Monographs on Theor. Comp. Sc., Springer Verlag, 1985.","key":"12_CR4","DOI":"10.1007\/978-3-642-69962-7"},{"key":"12_CR5","first-page":"263","volume":"372","author":"H. Ehrig","year":"1989","unstructured":"Ehrig, H., Pepper, P., Orejas, F. On recent trends in algebraic specification, Proc. ICALP 89, Springer LNCS 372, (1989), 263\u2013289.","journal-title":"Springer LNCS"},{"unstructured":"Ehrig, H., Thatcher, J.W., Lucas, P., Zilles, S.N. Denotational and initial algebra semantics of the algebraic specification language LOOK, Draft Rep. IBM Res., 1982.","key":"12_CR6"},{"doi-asserted-by":"crossref","unstructured":"Futatsugi, K. Goguen, J.A., Jouannaud, J.P., Meseguer, J. Principles of OBJ 2, Proc. POPL 85, ACM (1985), 221\u2013231.","key":"12_CR7","DOI":"10.1145\/318593.318610"},{"unstructured":"Goguen, J.A., Burstall, R.M. CAT, a system for the structured elaboration of correct programs from structured specifications, Tech. Report CSL-118, Comp. Sc. Lab., SRI Int., 1980.","key":"12_CR8"},{"unstructured":"Goguen, J.A., Burstall, Institutions: Abstract Model Theory for Computer Science, CSLI Rep. 85-30, 1985.","key":"12_CR9"},{"key":"12_CR10","doi-asserted-by":"crossref","first-page":"119","DOI":"10.1007\/978-3-662-09691-8_10","volume":"116","author":"R. Hennicker","year":"1985","unstructured":"R. Hennicker, M. Wirsing, Observational Specification: A Birkhoff-Theorem, Recent Trends in Data Type Specification, Informatik-Fachberichte, Springer 116 (1985) 119\u2013135.","journal-title":"Informatik-Fachberichte, Springer"},{"unstructured":"J. Meseguer, J. A. Goguen, Initiality, induction and computability, Algebraic Methods in Semantics, M. Nivat and J. Reynolds (eds.), Cambridge Univ. Press (1985) 459\u2013540.","key":"12_CR11"},{"key":"12_CR12","first-page":"391","volume-title":"Proc. ACM conf. Object-Oriented Programming Syst, Languages, and Applications","author":"B. Meyer","year":"1986","unstructured":"B. Meyer, Genericity versus Inheritance, Proc. ACM conf. Object-Oriented Programming Syst, Languages, and Applications, ACM, New York, 1986, pp. 391\u2013405"},{"key":"12_CR13","volume-title":"Sem\u00e1ntica de Comportamiento en Lenguajes de Especificaci\u00f3n","author":"M. P. Nivela","year":"1987","unstructured":"Ma P. Nivela, Sem\u00e1ntica de Comportamiento en Lenguajes de Especificaci\u00f3n, PhD. Thesis, Facultat d'Inform\u00e0tica, Universitat Polit\u00e8cnica de Catalunya, Barcelona (1987)."},{"key":"12_CR14","first-page":"184","volume":"332","author":"M. P. Nivela","year":"1988","unstructured":"Ma P. Nivela, F. Orejas, Initial Behaviour Semantics for Algebraic Specifications, Proc. 5th Workshop on Algebraic Specifications of Abstract Data Types, Gullane 1987, Springer LNCS 332, (1988) 184\u2013207.","journal-title":"Springer LNCS"},{"key":"12_CR15","first-page":"220","volume":"332","author":"F. Orejas","year":"1989","unstructured":"F. Orejas, Ma P. Nivela, H. Ehrig, Semantical constructions for categories of behavioural specifications, Proc. International Workshop on Categorical Methods in Computer Science with Aspects from Topology, Berlin 1988, Springer LNCS 332, (1989) 220\u2013243.","journal-title":"Springer LNCS"},{"doi-asserted-by":"crossref","unstructured":"F. Orejas, V. Sacristan, S. Clerici, Development of Algebraic Specifications with Constraints, Proc. International Workshop on Categorical Methods in Computer Science with Aspects from Topology, Berlin 1988, Springer LNCS 332, (1989)","key":"12_CR16","DOI":"10.1007\/3-540-51722-7_7"},{"key":"12_CR17","first-page":"504","volume":"88","author":"H. Reichel","year":"1980","unstructured":"H. Reichel, Initially restricting algebraic theories, Proc. MFCS 80, Springer LNCS 88 (1980), pp. 504\u2013514.","journal-title":"Springer LNCS"},{"unstructured":"H. Reichel, Behavioural equivalence \u2014 a unifying concept for initial and final specification methods, Proc. 3rd Hungarian Computer Science Conf., Budapest (1981) 27\u201339.","key":"12_CR18"},{"unstructured":"H. Reichel, Behavioral validity of equations in abstract data types, Contributions to General Algebra 3, Proc.of the Vienna Conference, Verlag B. G. Teubner, Stuttgart (1985) 301\u2013324.","key":"12_CR19"},{"doi-asserted-by":"crossref","unstructured":"H. Reichel, Initial Computability, Algebraic Specifications and Partial Algebras, Int. Series of Monographs on Comp. Sc, Oxford Science Publ., 1987.","key":"12_CR20","DOI":"10.1515\/9783112573426"},{"key":"12_CR21","first-page":"413","volume":"158","author":"D. Sannella","year":"1983","unstructured":"D. Sannella, Wirsing, M., A kernel language for algebraic specification and implementation. Proc. Intl. Conf. on Foundations of Computation Theory Sweden. Springer LNCS 158 (1983) 413\u2013427.","journal-title":"Springer LNCS"},{"key":"12_CR22","doi-asserted-by":"crossref","first-page":"150","DOI":"10.1016\/0022-0000(87)90023-7","volume":"34","author":"D. Sannella","year":"1987","unstructured":"D. Sannella, A. Tarlecki, On observational equivalence and algebraic specification. J. Comp. and Sys. Sciences 34, pp. 150\u2013178 (1987).","journal-title":"J. Comp. and Sys. Sciences"},{"key":"12_CR23","first-page":"96","volume":"249","author":"D. Sannella","year":"1987","unstructured":"D. Sannella, A. Tarlecki Toward formal development of programs from algebraic specifications: implementations revisited. Proc. Joint Conf. on Theory and Practice of Software Development, Pisa, Springer LNCS 249, pp. 96\u2013110 (1987).","journal-title":"Springer LNCS"}],"container-title":["Lecture Notes in Computer Science","Recent Trends in Data Type Specification"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-54496-8_12.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,6,20]],"date-time":"2023-06-20T18:10:16Z","timestamp":1687284616000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-54496-8_12"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1991]]},"ISBN":["9783540544968","9783540384168"],"references-count":23,"URL":"https:\/\/doi.org\/10.1007\/3-540-54496-8_12","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1991]]}}}