{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,9]],"date-time":"2026-05-09T02:30:14Z","timestamp":1778293814700,"version":"3.51.4"},"publisher-location":"Berlin, Heidelberg","reference-count":28,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540503255","type":"print"},{"value":"9783540459705","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1988]]},"DOI":"10.1007\/3-540-50325-0_10","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T20:20:11Z","timestamp":1330201211000},"page":"184-207","source":"Crossref","is-referenced-by-count":30,"title":["Initial behaviour semantics for algebraic specifications"],"prefix":"10.1007","author":[{"given":"Ma P.","family":"Nivela","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,5,26]]},"reference":[{"key":"10_CR1","doi-asserted-by":"crossref","unstructured":"Clerici, S.; Orejas, F., GSBL: an algebraic specification language based on inheritance, to appear in Proc. Europ. Conf. on Object Oriented Prog., Springer LNCS, 1988.","DOI":"10.1007\/3-540-45910-3_5"},{"key":"10_CR2","first-page":"221","volume":"164","author":"H. Ehrig","year":"1983","unstructured":"Ehrig, H.; Kreowski, H.-J.; Thatcher, J.W.; Wagner, E.G.; Wright, J.B. Parameter passing in algebraic specification languages, Proc. Workshop on Program Specification, Aarhus, Denmark, Springer LNCS 164 (1983) 221\u2013256.","journal-title":"Proc. Workshop on Program Specification, Aarhus, Denmark, Springer LNCS"},{"key":"10_CR3","doi-asserted-by":"crossref","unstructured":"Ehrig, H.; Mahr, B., Fundamentals of algebraic specification 1, EATCS Monographs on Theor. Comp. Sc., Springer, 1985.","DOI":"10.1007\/978-3-642-69962-7"},{"issue":"3","key":"10_CR4","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, ACM Transactions on Programming Languages and Systems 5 (3) (1983) 318\u201335.","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"10_CR5","first-page":"567","volume":"45","author":"V. Giarratana","year":"1976","unstructured":"Giarratana, V.; Gimona, F.; Montanari, U., Observability concepts in abstract data type specification, Proc. 5 th Intl. Symp. on Mathematical Foundations of Computer Science, Gdansk, Springer LNCS 45 (1976) 567\u2013587.","journal-title":"Proc. 5th Intl. Symp. on Mathematical Foundations of Computer Science, Gdansk, Springer LNCS"},{"key":"10_CR6","doi-asserted-by":"crossref","first-page":"221","DOI":"10.1007\/3-540-12896-4_366","volume":"164","author":"J. A. Goguen","year":"1984","unstructured":"Goguen, J.A.; Burstall, R.M., Introducing institutions. Proc. Logics of Programs Workshop, Springer LNCS 164 (1984) 221\u2013256.","journal-title":"Proc. Logics of Programs Workshop, Springer LNCS"},{"key":"10_CR7","doi-asserted-by":"crossref","unstructured":"Goguen, J. A. \"How to prove algebraic inductive hypotheses without induction, with application to the correctness of data types implementation\", Proc. 5th. Conf. on Aut. Deduction, 1980.","DOI":"10.1007\/3-540-10009-1_27"},{"issue":"1","key":"10_CR8","doi-asserted-by":"crossref","first-page":"9","DOI":"10.1145\/947886.947887","volume":"17","author":"J. A. Goguen","year":"1982","unstructured":"Goguen, J.A.; Meseguer, J., Completeness of many-sorted equational logic, Sigplan Notices 17,1 (1982) 9\u201317.","journal-title":"Sigplan Notices"},{"key":"10_CR9","first-page":"265","volume":"140","author":"J. A. Goguen","year":"1982","unstructured":"Goguen, J.A.; Meseguer, J., Universal realization, persistent interconnection and implementation of abstract modules, 9th Colloquium on Automata, Languages and Programming, Aarhus, Springer LNCS 140 (1982) 265\u2013281.","journal-title":"9th Colloquium on Automata, Languages and Programming, Aarhus, Springer LNCS"},{"key":"10_CR10","unstructured":"Goguen, J.A.; Meseguer, J., Initiality Primer, Preliminary Draft (March 1983), SRI Int."},{"key":"10_CR11","unstructured":"Goguen, J.A.; Thatcher, J.W.; Wagner, E.G., An initial algebra approach to the specification, correctness and implementation of abstract data types, Current Trends in Programming Methodology, Vol IV: Data Structuring, R.T. Yeh (ed.), Prentice Hall (1978) 80\u2013149."},{"key":"10_CR12","doi-asserted-by":"crossref","first-page":"27","DOI":"10.1007\/BF00260922","volume":"10","author":"J. V. Guttag","year":"1978","unstructured":"Guttag, J.V.; Horning, J.J., The algebraic specification of abstract data types, Acta Informatica 10 (1978), 27\u201352.","journal-title":"Acta Informatica"},{"key":"10_CR13","doi-asserted-by":"crossref","first-page":"119","DOI":"10.1007\/978-3-662-09691-8_10","volume":"116","author":"R. Hennicker","year":"1985","unstructured":"Hennicker, R.; Wirsing, M., Observational Sp\u00e9cification: A Birkhoff-Theorem, Recent Trends in Data Type Specification, Informatik-Fachberichte, Springer 116 (1985) 119\u2013135.","journal-title":"Recent Trends in Data Type Specification"},{"key":"10_CR14","doi-asserted-by":"crossref","unstructured":"Huet, G.; Hullot, J.M. Proofs by induction in equational theories with constructors, Proc. 21st. FOCS, Los Angeles (1980), 96\u2013107.","DOI":"10.1109\/SFCS.1980.37"},{"key":"10_CR15","doi-asserted-by":"crossref","unstructured":"Huet, G.; Oppen, D., Equations and rewrite rules: a survey, in Formal Language Theory: Perspectives and open problems, R.V. Book (Ed.), Ac. Press (1980).","DOI":"10.1016\/B978-0-12-115350-2.50017-8"},{"key":"10_CR16","unstructured":"Jouannaud, J.P.; Kounalis, E. Proofs by induction in equational theories without constructors, C.R.I. Nancy Report 85-R-042, 1985."},{"key":"10_CR17","doi-asserted-by":"crossref","first-page":"97","DOI":"10.1145\/357195.357202","volume":"5","author":"S. Kamin","year":"1983","unstructured":"Kamin, S., Final data type and their specification, ACM Transactions on Programming Languages and Systems 5 (1983) 97\u2013123.","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"10_CR18","unstructured":"Meseguer, J.; Goguen, J.A., Initiality, induction and computability, Algebraic Methods in Semantics, M. Nivat and J. Reynolds (eds.), Cambridge Univ. Press (1985) 459\u2013540."},{"key":"10_CR19","doi-asserted-by":"crossref","unstructured":"Musser, D. On proving inductive properties of abstract data types, Proc. 7th. POPL(1980), 154\u2013162.","DOI":"10.1145\/567446.567461"},{"key":"10_CR20","volume-title":"Sem\u00e1ntica de comportamiento en lenguajes de especificaci\u00f3n","author":"Ma P. P. Nivela Al\u00f3s","year":"1987","unstructured":"Nivela Al\u00f3s, Ma P., Sem\u00e1ntica de comportamiento en lenguajes de especificaci\u00f3n, PhD. Thesis, Facultat d'Inform\u00e0tica, Universitat Polit\u00e8cnica de Catalunya, Barcelona (1987)."},{"key":"10_CR21","doi-asserted-by":"crossref","first-page":"205","DOI":"10.1016\/0304-3975(87)90054-5","volume":"51","author":"F. Orejas","year":"1987","unstructured":"Orejas, F., A characterization of passing compatibility for parameterized specifications, Theor. Comp. Sc. 51 (1987), 205\u2013214.","journal-title":"Theor. Comp. Sc."},{"key":"10_CR22","unstructured":"Reichel, H., Behavioural equivalence \u2014 a unifying concept for initial and final specification methods, Proc. 3 rd Hungarian Computer Science Conf., Budapest (1981) 27\u201339."},{"key":"10_CR23","first-page":"301","volume-title":"Contributions to General Algebra 3, Proc.of the Vienna Conference","author":"H. Reichel","year":"1985","unstructured":"Reichel, H., 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."},{"issue":"2\/3","key":"10_CR24","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. Journal of Computer and System Sciences 34(2\/3)(1987)150\u2013178.","journal-title":"Journal of Computer and System Sciences"},{"key":"10_CR25","first-page":"413","volume":"158","author":"D. Sannella","year":"1983","unstructured":"Sannella, D.; 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":"10_CR26","unstructured":"Schoett, O., A theory of program modules, their specification and implementation (extended abstract), Univ. of Edinburgh, Rep. CSR-155-83, 1982."},{"key":"10_CR27","doi-asserted-by":"crossref","first-page":"269","DOI":"10.1016\/0304-3975(85)90094-5","volume":"37","author":"A. Tarlecki","year":"1985","unstructured":"Tarlecki, A., On the existence of free models in abstract algebraic institutions, Theor. Comp. Sc. 37 (1985) 269\u2013304.","journal-title":"Theor. Comp. Sc."},{"issue":"1","key":"10_CR28","doi-asserted-by":"crossref","first-page":"27","DOI":"10.1016\/0022-0000(79)90011-4","volume":"19","author":"M. Wand","year":"1979","unstructured":"Wand, M., Final algebra semantics and data type extensions. Journal of Computer and System Sciences 19 (1) (1979) 27\u201344.","journal-title":"Journal of Computer and System Sciences"}],"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-50325-0_10.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T21:17:50Z","timestamp":1605647870000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-50325-0_10"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1988]]},"ISBN":["9783540503255","9783540459705"],"references-count":28,"URL":"https:\/\/doi.org\/10.1007\/3-540-50325-0_10","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[1988]]}}}