{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T22:57:12Z","timestamp":1725663432982},"publisher-location":"Berlin, Heidelberg","reference-count":20,"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_7","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T21:14:35Z","timestamp":1330204475000},"page":"102-123","source":"Crossref","is-referenced-by-count":9,"title":["Development of algebraic specifications with constraints"],"prefix":"10.1007","author":[{"given":"F.","family":"Orejas","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"V.","family":"Sacrist\u00e1n","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"S.","family":"Clerici","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,5,31]]},"reference":[{"key":"7_CR1","first-page":"193","volume":"118","author":"J.A. Bergstra","year":"1981","unstructured":"Bergstra, J.A.; Broy, M.; Tucker, J.V.; Wirsing, M. On the power of algebraic specifications, Proc. MFCS 1981, Springer LNCS 118, pp. 193\u2013204.","journal-title":"Proc. MFCS"},{"key":"7_CR2","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, in Abstract Software Specificatior, 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":"7_CR3","DOI":"10.1007\/3-540-45910-3_5"},{"doi-asserted-by":"crossref","unstructured":"Ehrig, H. A categorical concept of constraints for algebraic specifications, T.U. Berlin November 1988.","key":"7_CR4","DOI":"10.1007\/3-540-51722-7_1"},{"unstructured":"Ehrig, H., Wagner, E.G. Thatcher, J.W. Algebraic constraints for specifications and canonical form results, Inst. f\u00fcr Soft. und Th. Informatik, T.U. Berlin Bericht 82-09, 1982.","key":"7_CR5"},{"doi-asserted-by":"crossref","unstructured":"Ehrig, H., Mahr, B.Fundamentals of algebraic specification 1, EATCS Monographs on Theor. Comp. Sc., Springer Verlag, 1985.","key":"7_CR6","DOI":"10.1007\/978-3-642-69962-7"},{"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 Research, 1982.","key":"7_CR7"},{"issue":"3","key":"7_CR8","doi-asserted-by":"crossref","first-page":"318","DOI":"10.1145\/2166.357212","volume":"5","author":"H. Ganzinger","year":"1983","unstructured":"Ganzinger, H. Parameterized specifications: parameter passing and implementation with respect to observability, TOPLAS 5,3 (1983), pp. 318\u2013354.","journal-title":"TOPLAS"},{"unstructured":"Goguen, J.A., Burstall, R.M. CAT, a system for the structured elaboration of correct programs from structured specifications, Tech. Rep. CSL-118, SRI Int., 1980","key":"7_CR9"},{"unstructured":"Goguen, J.A., Meseguer, J. Order-sorted algebra I: partial and overloaded operations, errors and inheritance. Technical Report, SRI International, Computer Science Lab 1983.","key":"7_CR10"},{"issue":"5","key":"7_CR11","doi-asserted-by":"crossref","first-page":"454","DOI":"10.1109\/TSE.1985.232484","volume":"SE-11","author":"D.B. MacQueen","year":"1985","unstructured":"MacQueen D.B., Sannella, D.T. Completeness of proof systems for equational specifications. IEEE Trans. on Software Engineering, SE-11(5), 454\u2013461 (1985).","journal-title":"IEEE Trans. on Software Engineering"},{"key":"7_CR12","first-page":"391","volume-title":"Genericity versus Inheritance","author":"B. Meyer","year":"1986","unstructured":"Meyer B. Genericity versus Inheritance, Proc. ACM Conf. Object-Oriented Programming Syst, Languages, and Applications, ACM, New York, 1986, pp. 391\u2013405"},{"unstructured":"Nivela, P.; Orejas, F. Initial behaviour semantics, in \u2018Recent Trends in Algebraic Specification', D. Sannella, A. Tarlecki (eds.), Springer LNCS, 1988.","key":"7_CR13"},{"key":"7_CR14","volume-title":"Categorical constructions for behavioural specifications","author":"F. Orejas","year":"1988","unstructured":"Orejas, F., Nivela, P., Ehrig, H. Categorical constructions for behavioural specifications, Dept. de LSI, Univ. Polit. de Catalunya, Barcelona 1988."},{"key":"7_CR15","first-page":"504","volume":"88","author":"H. Reichel","year":"1980","unstructured":"Reichel, H. Initially restricting algebraic theories, Proc. MFCS 80, Springer LNCS 88 (1980), pp. 504\u2013514.","journal-title":"Proc. MFCS 80, Springer LNCS"},{"unstructured":"Sannella, D. A new semantics for Clear, Report CSR-79-8, Univ. of Edinburgh, 1981.","key":"7_CR16"},{"key":"7_CR17","doi-asserted-by":"crossref","first-page":"150","DOI":"10.1016\/0022-0000(87)90023-7","volume":"34","author":"D. Sannella","year":"1987","unstructured":"Sannella, D.; Tarlecki A. On observational equivalence and algebraic specification. J. Comp. and Sys. Sciences 34, pp. 150\u2013178 (1987).","journal-title":"J. Comp. and Sys. Sciences"},{"key":"7_CR18","first-page":"96","volume":"249","author":"D Sannella","year":"1987","unstructured":"Sannella, D; Tarlecki A. 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":"Proc. Joint Conf. on Theory and Practice of Software Development, Pisa, Springer LNCS"},{"key":"7_CR19","first-page":"413","volume":"158","author":"D Sannella","year":"1983","unstructured":"Sannella, D; Wirsing, M. A kernel language for algebraic specification and implementation, Proc. FCT-83, Springer LNCS 158, pp. 413\u2013427, 1983.","journal-title":"Proc. FCT-83, Springer LNCS"},{"key":"7_CR20","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1007\/BF00264293","volume":"20","author":"M. Wirsing","year":"1983","unstructured":"Wirsing, M., Pepper, P., Partsch, H., Dosch, W., Broy, M. On hierarchies of abstract data types, Acta Informatica 20 (1983), pp. 1\u201333.","journal-title":"Acta Informatica"}],"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_7.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T21:22:39Z","timestamp":1605648159000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-51722-7_7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1989]]},"ISBN":["9783540517221","9783540467878"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/3-540-51722-7_7","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1989]]}}}