{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,4,1]],"date-time":"2022-04-01T01:06:01Z","timestamp":1648775161223},"reference-count":27,"publisher":"Springer Science and Business Media LLC","issue":"7","license":[{"start":{"date-parts":[[1994,7,1]],"date-time":"1994-07-01T00:00:00Z","timestamp":773020800000},"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":[[1994,7]]},"DOI":"10.1007\/bf01177550","type":"journal-article","created":{"date-parts":[[2005,2,17]],"date-time":"2005-02-17T16:16:56Z","timestamp":1108657016000},"page":"651-671","source":"Crossref","is-referenced-by-count":8,"title":["Behavioural approaches to algebraic specifications"],"prefix":"10.1007","volume":"31","author":[{"given":"Gilles","family":"Bernot","sequence":"first","affiliation":[]},{"given":"Michel","family":"Bidoit","sequence":"additional","affiliation":[]},{"given":"Teodor","family":"Knapik","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"CR1","unstructured":"Bernot, G., Bidoit, M.: Proving the correctness of algebraically specified software: Modularity and observability issues. Proceedings of Second International Conference on Algebraic Methodology and Software Technology, pp. 139?161, Iowa City, May 1991"},{"key":"CR2","doi-asserted-by":"crossref","first-page":"387","DOI":"10.1049\/sej.1991.0040","volume":"6","author":"G. Bernot","year":"1991","unstructured":"Bernot, G., Gaudel, M.C., Marre, B.: Software testing based on formal specifications. Software Eng. J.6, 387?405 (1991)","journal-title":"Software Eng. J."},{"key":"CR3","series-title":"Lect. Notes Comput Sci.","doi-asserted-by":"crossref","first-page":"64","DOI":"10.1007\/3-540-19027-9_5","volume-title":"ESOP 88, Nancy, March 1988","author":"N.W.P. Diepen van","year":"1988","unstructured":"van Diepen, N.W.P.: Implementation of modular algebraic specifications. In: Ganzinger, H. (ed.) ESOP 88, Nancy, March 1988. (Lect. Notes Comput Sci., vol. 300, pp. 64?78) Berlin, Heidelberg, New York: Springer 1988"},{"key":"CR4","series-title":"EATCS Monogr. Theor. Comput. Sci.","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-69962-7","volume-title":"Fundamentals of algebraic specifications","author":"H. Ehrig","year":"1985","unstructured":"Ehrig, H., Mahr, B.: Fundamentals of algebraic specifications. (EATCS Monogr. Theor. Comput. Sci., vol. 6) Berlin, Heidelberg, New York: Springer 1985"},{"key":"CR5","unstructured":"Fribourg, L.: SLOG, a logic programming language interpreter based on clausal superposition and rewriting. International Symposium on Logic Programming, Boston, July 1985"},{"key":"CR6","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 Trans. Programm. Lang. Syst.5, 318?354 (1983)","journal-title":"ACM Trans. Programm. Lang. Syst."},{"key":"CR7","series-title":"Lect. Notes Comput. Sci.","doi-asserted-by":"crossref","first-page":"115","DOI":"10.1007\/3-540-19027-9_8","volume-title":"ESOP 88, Nancy, March 1988","author":"M.C. Gaudel","year":"1988","unstructured":"Gaudel, M.C., Moineau, T.: A theory of software reusability. In: Ganzinger H. (ed.) ESOP 88, Nancy, March 1988. (Lect. Notes Comput. Sci., vol. 300, pp. 115?130) Berlin, Heidelberg, New York: Springer 1988"},{"key":"CR8","series-title":"Lect. Notes Comput. Sci.","doi-asserted-by":"crossref","first-page":"576","DOI":"10.1007\/3-540-07854-1_231","volume-title":"Observability concepts in abstract data type specification. MFCS, Gda?sk 1976","author":"V. Girratana","year":"1976","unstructured":"Girratana, V., Gimona, F., Montanari, U.: Observability concepts in abstract data type specification. MFCS, Gda?sk 1976 (Lect. Notes Comput. Sci., vol. 45, pp. 576?587) Berlin, Heidelberg, New York: Springer 1976"},{"key":"CR9","first-page":"80","volume-title":"Current trends in programming methodology, vol. 4: Data structuring","author":"J.A. Goguen","year":"1978","unstructured":"Goguen, J.A., Thatcher, J.W., Wagner, E.G.: An initial approach to the specification, correctness and implementation of abstract data types. In: Yeh, R.T. (ed.) Current trends in programming methodology, vol. 4: Data structuring, pp. 80?149. Englewood Cliffs, NJ: Prentice Hall 1978"},{"key":"CR10","doi-asserted-by":"crossref","first-page":"187","DOI":"10.1007\/BF01178505","volume":"28","author":"R. Hennicker","year":"1991","unstructured":"Hennicker, R.: Observational implementation of algebraic specifications. Acta Inf. 28, 187?230 (1991)","journal-title":"Acta Inf."},{"key":"CR11","doi-asserted-by":"crossref","first-page":"326","DOI":"10.1007\/BF01642507","volume":"3","author":"R. Hennicker","year":"1991","unstructured":"Hennicker, R.: Context induction: a proof principle for behavioural abstractions and algebraic implementations. Formal Aspects Comput.3, 326?345 (1991)","journal-title":"Formal Aspects Comput."},{"key":"CR12","unstructured":"Hennicker, R., Nickl, F.: Behavioural algebraic framework for modular system design with reuse. Institut f\u00fcr Informatik, Ludwig-Maximilians-Universit\u00e4t M\u00fcnchen, November 1992 (Internal Report 9206)"},{"key":"CR13","doi-asserted-by":"crossref","unstructured":"Hussmann, H.: Unification in conditional-equational theories. Fakult\u00e4t f\u00fcr Mathematik und Informatik Universit\u00e4t Passau, January 1985 (Internal Report MIP-8502) and short version in Proc. EUROCAL 85 Conf., Linz","DOI":"10.1007\/3-540-15984-3_328"},{"key":"CR14","doi-asserted-by":"crossref","first-page":"97","DOI":"10.1145\/357195.357202","volume":"5","author":"S. Kamin","year":"1983","unstructured":"Kamin, S.: Final data types and their specification. ACM Trans. Programm. Lang. Syst.5, 97?123 (1983)","journal-title":"ACM Trans. Programm. Lang. Syst."},{"key":"CR15","unstructured":"Knapik, T.: Sp\u00e9cifications alg\u00e9briques observationnelles modulaires: une s\u00e9mantique fond\u00e9e sur une relation de satisfaction observationnelle. Th\u00e8se de l'Universit\u00e9 de Paris-Sud, Orsay 1993"},{"key":"CR16","first-page":"459","volume-title":"Algebraic methods in semantics","author":"J. Meseguer","year":"1985","unstructured":"Meseguer, J., Goguen, J. A.: Initiality, induction and computability. In: Nivat, M., Reynolds, J.C. (eds.), Algebraic methods in semantics, pp. 459?540. Cambridge: Cambridge University Press 1985"},{"key":"CR17","series-title":"Lect. Notes Comput. Sci.","doi-asserted-by":"crossref","first-page":"158","DOI":"10.1007\/3-540-18508-9_25","volume-title":"Category theory and computer science, Edinburgh, September 1987","author":"L.S. Moss","year":"1987","unstructured":"Moss, L.S., Meseguer, J., Goguen, J.A.: Final algebras, cosemicomputable algebras and degrees of unsolvability In: Pitt, D.H., Poign\u00e9, A., Rydeheard, D.E. (eds.) Category theory and computer science, Edinburgh, September 1987 (Lect. Notes Comput. Sci., vol. 283, pp. 158?181) Berlin, Heidelberg, New York: Springer 1987"},{"key":"CR18","series-title":"Lect. Notes Comput. Sci.","first-page":"284","volume-title":"Mathematical foundations of programming semantics. 5th Int. Conference, New Orleans, March\/April 1989","author":"L.S. Moss","year":"1970","unstructured":"Moss, L.S., Thatte, S.R.: Generalization of final algebra semantics by relativization. In: Main, M., Melton, A., Mislove, M., Schmidt, D. (eds.) Mathematical foundations of programming semantics. 5th Int. Conference, New Orleans, March\/April 1989 (Lect. Notes Comput. Sci. vol. 442, pp. 284?300) Berlin, Heidelberg, New York: Springer 1970"},{"key":"CR19","series-title":"Lect. Notes Comput. Sci","doi-asserted-by":"crossref","first-page":"184","DOI":"10.1007\/3-540-50325-0_10","volume-title":"Recent trends in data type specification, 5th Workshop on Specification of ADT, Gullane, September 1987","author":"P. Nivela","year":"1988","unstructured":"Nivela, P., Orejas, F.: Initial behaviour semantics for algebraic specification. In: Sannella, D., Tarlecki, A. (eds.) Recent trends in data type specification, 5th Workshop on Specification of ADT, Gullane, September 1987 (Lect. Notes Comput. Sci, vol. 332, pp. 184?207) Berlin, Heidelberg, New York: Springer 1988"},{"key":"CR20","unstructured":"Pepper, P.: On the correctness of type transformations. Talk at 2nd Workshop on Theory and Applications of Abstract Data Types, Passau, May 1983"},{"key":"CR21","doi-asserted-by":"crossref","first-page":"150","DOI":"10.1016\/0022-0000(87)90023-7","volume":"34","author":"D. Sannella","year":"1997","unstructured":"Sannella, D., Tarlecki, A.: On observational equivalence and algebraic specification. J. Comput. Syst. Sci.34, 150?178 (1997)","journal-title":"J. Comput. Syst. Sci."},{"key":"CR22","doi-asserted-by":"crossref","first-page":"233","DOI":"10.1007\/BF00283329","volume":"25","author":"D. Sannella","year":"1988","unstructured":"Sannella, D., Tarlecki, A.: Toward formal development of programs from algebraic specifications: implementation revisited. Acta Inf.25, 233?281 (1988)","journal-title":"Acta Inf."},{"key":"CR23","unstructured":"Reichel, H.: Behavioural validity of conditional equations in abstract data types contributions to general algebra 3. Proceedings of the Vienna Conference, June 1984"},{"key":"CR24","unstructured":"Schoett, O.: Data abstraction and the correctness of modular programming. Ph. D. Thesis, University of Edinburgh, 1986"},{"key":"CR25","doi-asserted-by":"crossref","first-page":"595","DOI":"10.1007\/BF01185563","volume":"29","author":"O. Schoett","year":"1992","unstructured":"Schoett, O.: Two impossibility theorems on behaviour specification of abstract data types. Acta Inf.29, 595?621 (1992)","journal-title":"Acta Inf."},{"key":"CR26","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 extension. J. Comput. Syst. Sci.19, 27?44 (1979)","journal-title":"J. Comput. Syst. Sci."},{"key":"CR27","doi-asserted-by":"crossref","unstructured":"Wirsing, M.: Algebraic description of reusable software components. In: Milgrom, E., Wodon, P. (eds.) Proceedings of COMPEURO '88. IEEE Computer Society, vol. 843, pp. 300?312, 1988","DOI":"10.1109\/CMPEUR.1988.4962"}],"container-title":["Acta Informatica"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF01177550.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF01177550\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF01177550","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,5]],"date-time":"2020-04-05T20:20:45Z","timestamp":1586118045000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BF01177550"}},"subtitle":["A comparative study"],"short-title":[],"issued":{"date-parts":[[1994,7]]},"references-count":27,"journal-issue":{"issue":"7","published-print":{"date-parts":[[1994,7]]}},"alternative-id":["BF01177550"],"URL":"https:\/\/doi.org\/10.1007\/bf01177550","relation":{},"ISSN":["0001-5903","1432-0525"],"issn-type":[{"value":"0001-5903","type":"print"},{"value":"1432-0525","type":"electronic"}],"subject":[],"published":{"date-parts":[[1994,7]]}}}