{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T20:26:46Z","timestamp":1725481606957},"publisher-location":"Berlin, Heidelberg","reference-count":16,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540500537"},{"type":"electronic","value":"9783540459101"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1988]]},"DOI":"10.1007\/3-540-45910-3_5","type":"book-chapter","created":{"date-parts":[[2007,3,10]],"date-time":"2007-03-10T13:31:39Z","timestamp":1173533499000},"page":"78-92","source":"Crossref","is-referenced-by-count":13,"title":["GSBL: An Algebraic Specification Language Based on Inheritance"],"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":[[2000,8,25]]},"reference":[{"key":"5_CR1","unstructured":"Burstall, R.M.; Goguen, J.A. \u201cPutting theories together to make specifications\u201d, Proc. V IJCAI, Cambridge Mass., 1977, pp. 1045\u20131058."},{"key":"5_CR2","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"292","DOI":"10.1007\/3-540-10007-5_41","volume-title":"Proc. Winter School on Abstract Software Specification","author":"R.M. Burstall","year":"1980","unstructured":"Burstall, R.M.; Goguen, J.A. \u201cThe semantics of Clear, a specification language\u201d, Proc. Winter School on Abstract Software Specification, Springer LNCS 86, pp. 292\u2013332, 1980."},{"key":"5_CR3","doi-asserted-by":"crossref","unstructured":"Cardelli, L. \u201cThe semantics of multiple inheritance\u201d, Proc. Colloquium on the Semantics of Data Types, Sophia-Antipolis, 1984.","DOI":"10.1007\/3-540-13346-1_2"},{"issue":"4","key":"5_CR4","doi-asserted-by":"publisher","first-page":"471","DOI":"10.1145\/6041.6042","volume":"17","author":"L. Cardelli","year":"1985","unstructured":"Cardelli, L.; Wegner, P. \u201cOn understanding types, data abstraction and polymorphism\u201d, Computer Surveys 17,4 (Dec. 1985), pp. 471\u2013522.","journal-title":"Computer Surveys"},{"key":"5_CR5","doi-asserted-by":"publisher","first-page":"209","DOI":"10.1016\/S0304-3975(82)80001-7","volume":"20","author":"H. Ehrig","year":"1982","unstructured":"Ehrig, H., Kreowski, H.-J., Mahr, B., Padawitz, P. \u201cAlgebraic implementation of abstract data types\u201d, Theoret. Comp. Sc. 20 (1982), pp. 209\u2013263.","journal-title":"Theoret. Comp. Sc."},{"key":"5_CR6","unstructured":"Ehrig, H., Wagner, E.G. Thatcher, J.W. \u201cAlgebraic constraints for specifications and canonical form results\u201d, Institut f\u00fcr Software und Theoretische Informatik, T.U. Berlin Bericht Nr. 82-09, 1982."},{"key":"5_CR7","doi-asserted-by":"crossref","unstructured":"Ehrig, H., Mahr, B. \u201cFundamentals of algebraic specification I\u201d, EATCS Monographs on Theor. Comp. Sc., Springer-Verlag, 1985.","DOI":"10.1007\/978-3-642-69962-7"},{"key":"5_CR8","doi-asserted-by":"crossref","unstructured":"Futatsugi, K, Goguen, J.A., Jouannaud, J.-P., Meseguer, J., \u201cPrinciples of OBJ2\u201d, Proc. 12th POPL, Austin 1985.","DOI":"10.1145\/318593.318610"},{"key":"5_CR9","doi-asserted-by":"publisher","first-page":"528","DOI":"10.1109\/TSE.1984.5010277","volume":"5","author":"J.A. \u201c. Goguen","year":"1984","unstructured":"Goguen, J.A. \u201cParameterized Programming\u201d, IEEE Trans. on Soft. Eng. SE10, 5 (Sept. 1984), pp. 528\u2013543.","journal-title":"IEEE Trans. on Soft. Eng."},{"key":"5_CR10","unstructured":"Goguen, J.A., Burstall, R.M. \u201cCAT, a system for the structured elaboration of correct programs from structured specifications\u201d, Report CSL-118, Comp. Sc. Lab., SRI Int., 1980."},{"key":"5_CR11","unstructured":"Goguen, J.A.; Meseguer, J. \u201cOrder-sorted algebra I: partial and overloaded operators, errors and inheritance\u201d, SRI Int., Comp. Sc. Lab. Rep., 1985."},{"key":"5_CR12","first-page":"391","volume-title":"Proc. ACM conf Object-Oriented Programming Syst, Languages, and Applications","author":"B. \u201c. Meyer","year":"1986","unstructured":"Meyer B. \u201cGenericity versus Inheritance\u201d, Proc. ACM conf Object-Oriented Programming Syst, Languages, and Applications, ACM, New York, 1986, pp. 391\u2013405"},{"key":"5_CR13","doi-asserted-by":"crossref","unstructured":"Meyer B. \u201cReusability: The Case for Object-Oriented Design\u201d, IEEE Trans. Software Eng. March 1987, pp. 50\u201365.","DOI":"10.1109\/MS.1987.230097"},{"key":"5_CR14","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"504","DOI":"10.1007\/BFb0022528","volume-title":"Proc. MFCS 80","author":"H. \u201c. Reichel","year":"1980","unstructured":"Reichel, H. \u201cInitially restricting algebraic theories\u201d, Proc. MFCS 80, Springer LNCS 88 (1980), pp. 504\u2013514."},{"key":"5_CR15","unstructured":"Sannella, D. \u201cA new semantics for Clear\u201d, Report CSR-79-8, Univ. of Edinburgh, 1981."},{"key":"5_CR16","doi-asserted-by":"publisher","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. \u201cOn hierarchies of abstract data types\u201d, Acta Informatica 20 (1983), pp. 1\u201333.","journal-title":"Acta Informatica"}],"container-title":["Lecture Notes in Computer Science","ECOOP \u201988 European Conference on Object-Oriented Programming"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-45910-3_5.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T21:10:57Z","timestamp":1605647457000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-45910-3_5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1988]]},"ISBN":["9783540500537","9783540459101"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/3-540-45910-3_5","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[1988]]}}}