{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,27]],"date-time":"2025-05-27T12:57:40Z","timestamp":1748350660775},"reference-count":27,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[1991,3,1]],"date-time":"1991-03-01T00:00:00Z","timestamp":667785600000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Acta Informatica"],"published-print":{"date-parts":[[1991,3]]},"DOI":"10.1007\/bf01178505","type":"journal-article","created":{"date-parts":[[2005,2,17]],"date-time":"2005-02-17T16:51:27Z","timestamp":1108659087000},"page":"187-230","source":"Crossref","is-referenced-by-count":11,"title":["Observational implementation of algebraic specifications"],"prefix":"10.1007","volume":"28","author":[{"given":"Rolf","family":"Hennicker","sequence":"first","affiliation":[]}],"member":"297","reference":[{"key":"CR1","doi-asserted-by":"crossref","first-page":"139","DOI":"10.1016\/0304-3975(84)90086-0","volume":"33","author":"M. Broy","year":"1984","unstructured":"[Broy et al. 84] Broy, M., Pair, C., Wirsing, M.: A systematic study of models of abstract data types. Theoret. Comput. Sci.33, 139?174 (1984)","journal-title":"Theoret. Comput. Sci."},{"issue":"1","key":"CR2","doi-asserted-by":"crossref","first-page":"54","DOI":"10.1145\/9758.10501","volume":"9","author":"M. Broy","year":"1987","unstructured":"[Broy et al. 87] Broy, M., Pepper, P., Wirsing, M.: On the algebraic definition of programming languages. ACM Trans. Prog. Languages Syst.9(1), 54?99 (1987)","journal-title":"ACM Trans. Prog. Languages Syst."},{"key":"CR3","series-title":"Lect. Notes Comput. Sci.","doi-asserted-by":"crossref","first-page":"292","DOI":"10.1007\/3-540-10007-5_41","volume-title":"Proc. of Advanced Course on Abstract Software Specifications, Kopenhagen","author":"R.M. Burstall","year":"1980","unstructured":"[Burstall, Goguen 80] Burstall, R.M., Goguen, J.A.: The semantics of Clear, a specification language. Proc. of Advanced Course on Abstract Software Specifications, Kopenhagen. (Lect. Notes Comput. Sci., vol. 86, pp. 292?332) Berlin Heidelberg New York: Springer 1980"},{"key":"CR4","doi-asserted-by":"crossref","DOI":"10.1007\/978-94-009-8399-1","volume-title":"Universal algebra","author":"P.M. Cohn","year":"1981","unstructured":"[Cohn 81] Cohn, P.M.: Universal algebra. Dordrecht: D. Reidel 1981"},{"key":"CR5","series-title":"Lect. Notes Comput. Sci.","doi-asserted-by":"crossref","first-page":"197","DOI":"10.1007\/BFb0012770","volume-title":"Proc ICALP 82, 9th Coll. on Automata, Languages and Programming, Aarhus, July 1982","author":"H. Ehrig","year":"1982","unstructured":"[Ehrig, Kreowski 82] Ehrig, H., Kreowski, H.J.: Parameter passing commutes with implementation of parameterized data types. In: Nielsen, M., Schmidt, E.M. (eds.) Proc ICALP 82, 9th Coll. on Automata, Languages and Programming, Aarhus, July 1982. (Lect. Notes Comput. Sci., vol. 140, pp. 197?211) Berlin Heidelberg New York: Springer 1982"},{"key":"CR6","series-title":"EATCS Monographs on Theor. Comp. Science","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-69962-7","volume-title":"Fundamentals of algebraic specification 1","author":"H. Ehrig","year":"1985","unstructured":"[Ehrig, Mahr 85] Ehrig, H., Mahr, B.: Fundamentals of algebraic specification 1. EATCS Monographs on Theor. Comp. Science, vol. 6. Berlin Heidelberg New York: Springer 1985"},{"key":"CR7","doi-asserted-by":"crossref","first-page":"209","DOI":"10.1016\/S0304-3975(82)80001-7","volume":"20","author":"H. Ehrig","year":"1982","unstructured":"[Ehrig et al. 82] Ehrig, H., Kreowski, H.J., Mahr, B., Padawitz, P.: Algebraic implementation of abstract data types. Theoret. Comput. Sci.20, 209?263 (1982)","journal-title":"Theoret. Comput. Sci."},{"key":"CR8","series-title":"Proc. 12th ACM Symposium on Principles of Programming Languages, New Orleans","first-page":"52","volume-title":"Principles of OBJ2","author":"K. Futatsugi","year":"1985","unstructured":"[Futatsugi et al. 85] Futatsugi, K., Goguen, J.A., Jouannaud, J.P., Meseguer, J.: Principles of OBJ2. Proc. 12th ACM Symposium on Principles of Programming Languages, New Orleans, pp. 52?66. Baltimore: ACM Order Department 1985"},{"issue":"3","key":"CR9","doi-asserted-by":"crossref","first-page":"318","DOI":"10.1145\/2166.357212","volume":"5","author":"H. Ganzinger","year":"1983","unstructured":"[Ganzinger 83] Ganzinger, H.: Parameterized specifications: parameter passing and implementation with respect to observability. ACM Trans. Prog. Lang. Syst.5(3), 318?354 (1983)","journal-title":"ACM Trans. Prog. Lang. Syst."},{"key":"CR10","series-title":"Lect. Notes Comput. Sci.","doi-asserted-by":"crossref","first-page":"339","DOI":"10.1007\/3-540-16442-1_26","volume-title":"Proc. ESOP 86, Europ. Symp. on Programming, Saarbr\u00fccken","author":"A. Geser","year":"1986","unstructured":"[Geser, Hussmann 86] Geser, A., Hussmann, H.: Experiences with the RAP system?a specification interpreter combining term rewriting and resolution. In: Robinet, B., Wilhelm, R. (eds.) Proc. ESOP 86, Europ. Symp. on Programming, Saarbr\u00fccken. (Lect. Notes Comput. Sci., vol. 213, pp. 339?350) Berlin Heidelberg New York: Springer 1986"},{"key":"CR11","series-title":"Lect. Notes Comput. Sci.","doi-asserted-by":"crossref","first-page":"576","DOI":"10.1007\/3-540-07854-1_231","volume-title":"Proc. MFCS 76, 5th Internat. Symp. on Mathematical Foundations of Comp. Science, Gdansk","author":"V. Giarratana","year":"1976","unstructured":"[Giarratana et al. 76] Giarratana, V., Gimona, F., Montanari, U.: Observability concepts in abstract data type specification. In: Mazurkiewicz, A. (ed.) Proc. MFCS 76, 5th Internat. Symp. on Mathematical Foundations of Comp. Science, Gdansk. (Lect. Notes Comput. Sci., vol. 45, pp. 576?587) Berlin Heidelberg New York: Springer 1976"},{"key":"CR12","unstructured":"[Goguen, Burstall 80] Goguen, J.A., Burstall, R.M.: CAT, a system for the structured elaboration of correct programs from structured specifications. Technical report CSL-118, Computer Science Laboratory, SRI International (1980)"},{"key":"CR13","series-title":"Lect. Notes Comput. Sci.","doi-asserted-by":"crossref","first-page":"265","DOI":"10.1007\/BFb0012775","volume-title":"Proc. ICALP 82, 9th Coll. on Automata, Languages and Programming, Aarhus","author":"J.A. Goguen","year":"1982","unstructured":"[Goguen, Meseguer 82] Goguen, J.A., Meseguer, J.: Universal realization, persistent interconnection and implementation of abstract modules. In: Nielsen, M., Schmidt, E.M. (eds.) Proc. ICALP 82, 9th Coll. on Automata, Languages and Programming, Aarhus. (Lect. Notes Comput. Sci., vol. 140, pp. 265?281) Berlin Heidelberg New York: Springer 1982"},{"issue":"7","key":"CR14","doi-asserted-by":"crossref","first-page":"24","DOI":"10.1145\/947864.947865","volume":"16","author":"J.A. Goguen","year":"1981","unstructured":"[Goguen, Meseguer 82a] Goguen, J.A., Meseguer, J.: Completeness of many-sorted equational logic. SIGPLAN Notices16(7), 24?32 (1981);17(1), 9?17 (1982)","journal-title":"SIGPLAN Notices"},{"key":"CR15","unstructured":"[Hennicker 88] Hennicker, R.: Beobachtungsorientierte Spezifikationen. Dissertation, Fakult\u00e4t f\u00fcr Mathematik und Informatik, Universit\u00e4t Passau 1988"},{"key":"CR16","series-title":"3rd Workshop on Theory and Appl. of Abstract Data Types, Bremen. Selected Papers. Informatik Fachber.","doi-asserted-by":"crossref","first-page":"119","DOI":"10.1007\/978-3-662-09691-8_10","volume-title":"Recent trends in data type specification","author":"R. Hennicker","year":"1985","unstructured":"[Hennicker, Wirsing 85] Hennicker, R., Wirsing, M.: Observational specification: a Birkhoff-theorem. In: Kreowski, H.J. (ed.) Recent trends in data type specification. 3rd Workshop on Theory and Appl. of Abstract Data Types, Bremen. Selected Papers. Informatik Fachber., vol. 116, pp. 119?135, Berlin Heidelberg New York: Springer 1985"},{"key":"CR17","series-title":"Lect. Notes Comput. Sci.","doi-asserted-by":"crossref","first-page":"184","DOI":"10.1007\/3-540-50325-0_10","volume-title":"Proc 5th Workshop on Algebraic Specifications of Abstract Data Types, Gullane","author":"Ma P. Nivela","year":"1988","unstructured":"[Nivela, Orejas 88] Nivela, Ma P., Orejas, F.: Initial behaviour semantics for algebraic specifications. In: Sannella, D., Tarlecki, A. (eds.) Proc 5th Workshop on Algebraic Specifications of Abstract Data Types, Gullane. (Lect. Notes Comput. Sci., vol. 332, pp. 184?207) Berlin Heidelberg New York: Springer 1988"},{"key":"CR18","unstructured":"[Padawitz 90] Padawitz, P.: Horn logic and rewriting for functional and logic program design. Technische Berichte der Fakult\u00e4t f\u00fcr Mathematik und Informatik, Universit\u00e4t Passau, MIP-9002 (1990)"},{"key":"CR19","first-page":"88","volume":"24","author":"P. Padawitz","year":"1984","unstructured":"[Padawitz, Wirsing 84] Padawitz, P., Wirsing, M.: Completeness of many-sorted equational logic revisited. Bull. EATCS24, 88?94 (1984)","journal-title":"Bull. EATCS"},{"key":"CR20","first-page":"27","volume-title":"Math. models in comp. systems. Proc. 3rd Hungarian Computer Science Conf., Budapest","author":"H. Reichel","year":"1981","unstructured":"[Reichel 81] Reichel, H.: Behavioural equivalence ? a unifying concept for initial and final specification methods. In: Arot\u00f3, M., Varga, L. (eds.) Math. models in comp. systems. Proc. 3rd Hungarian Computer Science Conf., Budapest, pp. 27?39. Budapest: Akad\u00e9miai Kiad\u00f3 1981"},{"key":"CR21","unstructured":"[Reichel 85] Reichel, H.: Initial restrictions of behaviour. IFIP Working Conference. The Role of Abstract Models in Information Processing (1985)"},{"key":"CR22","series-title":"Lect. Notes Comput. Sci.","doi-asserted-by":"crossref","first-page":"308","DOI":"10.1007\/3-540-15198-2_20","volume-title":"Proc. TAPSOFT 85, Joint Conf. on Theory and Practice of Software Development, Berlin","author":"D.T. Sannella","year":"1985","unstructured":"[Sannella, Tarlecki 85] Sannella, D.T., Tarlecki, A.: On observational equivalence and algebraic specification. In: Ehrig, H., Floyd, C., Nivat, M., Thatcher, J. (eds.) Proc. TAPSOFT 85, Joint Conf. on Theory and Practice of Software Development, Berlin. (Lect. Notes Comput. Sci., vol. 185, pp. 308?322) Berlin Heidelberg New York: Springer 1985"},{"key":"CR23","series-title":"Lect. Notes Comput. Sci.","doi-asserted-by":"crossref","first-page":"96","DOI":"10.1007\/3-540-17660-8_50","volume-title":"Proc. TAPSOFT 87, Joint Conf. on Theory and Practice of Software Development, Pisa","author":"D.T. Sannella","year":"1987","unstructured":"[Sannella, Tarlecki 87] Sannella, D.T., Tarlecki, A.: Toward formal development of programs from algebraic specifications: implementations revisited. Proc. TAPSOFT 87, Joint Conf. on Theory and Practice of Software Development, Pisa. (Lect. Notes Comput. Sci., vol. 249, pp. 96?110) Berlin Heidelberg New York: Springer 1987"},{"key":"CR24","series-title":"Lect. Notes Comput. Sci.","doi-asserted-by":"crossref","first-page":"473","DOI":"10.1007\/BFb0012793","volume-title":"Proc. ICALP 82, 9th Coll. on Automata, Languages and Programming, Aarhus","author":"D.T. Sannella","year":"1982","unstructured":"[Sannella, Wirsing 82] Sannella, D.T., Wirsing, M.: Implementation of parameterized specifications. In: Nielsen, M., Schmidt, E.M. (eds.) Proc. ICALP 82, 9th Coll. on Automata, Languages and Programming, Aarhus. (Lect. Notes Comput. Sci., vol. 140, pp. 473?488) Berlin Heidelberg New York: Springer 1982"},{"key":"CR25","unstructured":"[Schoett 87] Schoett, O.: Data abstraction and the correctness of modular programming. Ph. D. thesis, CST-42-87, Department of Comp. Science, University of Edinburgh (1987)"},{"key":"CR26","doi-asserted-by":"crossref","first-page":"123","DOI":"10.1016\/0304-3975(86)90051-4","volume":"42","author":"M. Wirsing","year":"1986","unstructured":"[Wirsing 86] Wirsing, M.: Structured algebraic specifications: a kernel language. Theoret. Comput. Sci.42, 123?249 (1986)","journal-title":"Theoret. Comput. Sci."},{"key":"CR27","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1007\/BF00264293","volume":"20","author":"M. Wirsing","year":"1983","unstructured":"[Wirsing et al. 83] Wirsing, M., Pepper, P., Partsch, H., Dosch, W., Broy, M.: On hierarchies of abstract data types. Acta Inf.20, 1?33 (1983)","journal-title":"Acta Inf."}],"container-title":["Acta Informatica"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF01178505.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF01178505\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF01178505","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,30]],"date-time":"2019-04-30T13:07:50Z","timestamp":1556629670000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BF01178505"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1991,3]]},"references-count":27,"journal-issue":{"issue":"3","published-print":{"date-parts":[[1991,3]]}},"alternative-id":["BF01178505"],"URL":"https:\/\/doi.org\/10.1007\/bf01178505","relation":{},"ISSN":["0001-5903","1432-0525"],"issn-type":[{"value":"0001-5903","type":"print"},{"value":"1432-0525","type":"electronic"}],"subject":[],"published":{"date-parts":[[1991,3]]}}}