{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:03:16Z","timestamp":1725663796403},"publisher-location":"Berlin, Heidelberg","reference-count":13,"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_3","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T17:55:52Z","timestamp":1330192552000},"page":"31-51","source":"Crossref","is-referenced-by-count":2,"title":["The specification language GSBL"],"prefix":"10.1007","author":[{"given":"S.","family":"Clerici","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"F.","family":"Orejas","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,2]]},"reference":[{"key":"3_CR1","first-page":"292","volume":"86","author":"R.M. Burstall","year":"1980","unstructured":"R.M. Burstall,; J.A. Goguen, The semantics of Clear, a specification language, Proc. Copenhagen Winter School on Abstract Software Specification, Springer LNCS 86, pp. 292\u2013332, 1980.","journal-title":"LNCS"},{"key":"3_CR2","unstructured":"S. Clerici, Un lenguaje para el dise\u00f1o y validaci\u00f3n de especificaciones algebraicas. Tesis doctoral. Depto. de Lenguajes y Sist. Inform\u00e1ticos. Univ. Polit. de Catalu\u00f1a, 1989."},{"key":"3_CR3","doi-asserted-by":"crossref","unstructured":"S. Clerici,; F. Orejas, GSBL: an algebraic specification language based on inheritance, Proc. Europ. Conf. on Object Oriented Programming, (Oslo, 1988), Springer LNCS.","DOI":"10.1007\/3-540-45910-3_5"},{"key":"3_CR4","doi-asserted-by":"crossref","unstructured":"H. Ehrig, A categorical concept of constraints for algebraic specifications, Proc. International Workshop on Categorical Methods in Computer Science with Aspects from Topology, Berlin 1988, Springer LNCS 332, (1989).","DOI":"10.1007\/3-540-51722-7_1"},{"key":"3_CR5","doi-asserted-by":"crossref","unstructured":"H. Ehrig, B. Mahr, Fundamentals of algebraic specification 1, EATCS Monographs on Theor. Comp. Sc., Springer Verlag, 1985.","DOI":"10.1007\/978-3-642-69962-7"},{"key":"3_CR6","unstructured":"H. Ehrig, H., J.W. Thatcher, P. Lucas, S.N. Zilles, Denotational and initial algebra semantics of the algebraic specification language LOOK, Draft Report, IBM Research, 1982."},{"key":"3_CR7","doi-asserted-by":"crossref","unstructured":"K. Futatsugi, J.A. Goguen, J.P. Jouannaud, J. Meseguer, Principles of OBJ 2, Proc. POPL 85, ACM (1985) 221\u2013231.","DOI":"10.1145\/318593.318610"},{"issue":"2","key":"3_CR8","doi-asserted-by":"crossref","first-page":"103","DOI":"10.1016\/0167-6423(86)90021-3","volume":"6","author":"J. V. Guttag","year":"1986","unstructured":"J. V. Guttag, J.J. Horning, Report on the Larch Shared Language, Science of Computer Programming 6, 2 (1986) 103\u2013134.","journal-title":"Science of Computer Programming"},{"key":"3_CR9","unstructured":"E. Horowitz, S. Sahni, Fundamentals of computer algorithms, Pitman 1976."},{"key":"3_CR10","doi-asserted-by":"crossref","unstructured":"B. Meyer, Genericity versus Inheritance, Proc. ACM conf. Object-Oriented Programming Syst, Languages, and Applications, ACM, New York, 1986, pp. 391\u2013405","DOI":"10.1145\/960112.28738"},{"key":"3_CR11","doi-asserted-by":"crossref","unstructured":"B. Meyer, Reusability: the case for object oriented design, IEEE Software, March 1987.","DOI":"10.1109\/MS.1987.230097"},{"key":"3_CR12","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)","DOI":"10.1007\/3-540-51722-7_7"},{"key":"3_CR13","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":"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_3.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T15:55:13Z","timestamp":1605628513000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-54496-8_3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1991]]},"ISBN":["9783540544968","9783540384168"],"references-count":13,"URL":"https:\/\/doi.org\/10.1007\/3-540-54496-8_3","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1991]]}}}