{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,4,3]],"date-time":"2022-04-03T13:05:24Z","timestamp":1648991124178},"reference-count":38,"publisher":"Springer Science and Business Media LLC","issue":"4","license":[{"start":{"date-parts":[[1993,4,1]],"date-time":"1993-04-01T00:00:00Z","timestamp":733622400000},"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":[[1993,4]]},"DOI":"10.1007\/bf01209709","type":"journal-article","created":{"date-parts":[[2005,2,25]],"date-time":"2005-02-25T12:37:28Z","timestamp":1109335048000},"page":"303-350","source":"Crossref","is-referenced-by-count":1,"title":["OBSCURE a specification language for abstract data types"],"prefix":"10.1007","volume":"30","author":[{"given":"Thomas","family":"Lehmann","sequence":"first","affiliation":[]},{"given":"Jacques","family":"Loeckx","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"CR1","volume-title":"Algebraic specification","author":"J.A. Bergstra","year":"1989","unstructured":"Bergstra, J.A., Heering, J., Klint, P.: Algebraic specification. New York: ACM-Press 1989"},{"key":"CR2","unstructured":"Bidoit, M.: PLUSS, a language for the development of modular algebraic specifications. Th\ufffdse d'Etat, Universit\ufffd Paris-Sud, 1989"},{"issue":"1","key":"CR3","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/0167-6423(89)90026-9","volume":"12","author":"M. Bidoit","year":"1989","unstructured":"Bidoit, M., Gaudel, M.-C., Mauboussin, A.: How to make algebraic specifications more understandable: An experiment with the PLUSS specification language. Sci. Comput. Programm.12(1), 1?38 (1989)","journal-title":"Sci. Comput. Programm."},{"key":"CR4","series-title":"Lect. Notes Comput. Sci.","volume-title":"Algebraic system specification and development","year":"1991","unstructured":"Bidoit, M., Kreowski, H.-J., Lescanne, P., Orejas, F., Sannella, D. (Eds.): Algebraic system specification and development. (Lect. Notes Comput. Sci., Vol. 501) Berlin Heidelberg New York: Springer 1991"},{"key":"CR5","unstructured":"Broy, M. et al.: The requirement and design specification language SPECTRUM. Internal Report, Techn. Univ. M\ufffdnchen (May 1992)"},{"key":"CR6","series-title":"Lect. Notes Comput. Sci.","doi-asserted-by":"crossref","first-page":"292","DOI":"10.1007\/3-540-10007-5_41","volume-title":"Proc. 1979 Copenhagen Winter School","author":"R.M. Burstall","year":"1980","unstructured":"Burstall, R.M., Goguen, J.A.: The semantics of CLEAR, a specification language. In: Proc. 1979 Copenhagen Winter School. (Lect. Notes Comput. Sci., Vol. 86, pp. 292?332) Berlin Heidelberg New York: Springer 1980"},{"key":"CR7","unstructured":"Cartwright, R.: A constructive alternative to abstract data type definitions. In: Proc. 1980 LISP Conf., Stanford Univ., pp. 46?55 (1980)."},{"key":"CR8","volume-title":"Axis tutorial: a simple filing system","author":"Ch. Dollin","year":"1988","unstructured":"Dollin, Ch., Arnold, P., Coleman, D., Gilchrist, H., Rush, T.: Axis tutorial: a simple filing system. Internal Report HPL-ISC-TM-88-18, Hewlet-Packard Ltd., Bristol (1988)."},{"key":"CR9","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-322-94709-3","volume-title":"Algebraische Spezifikation abstrakter Datentypen","author":"H.D. Ehrich","year":"1989","unstructured":"Ehrich, H.D., Gogolla, M., Lipeck, U.: Algebraische Spezifikation abstrakter Datentypen. Stuttgart: Teubner 1989"},{"key":"CR10","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-69962-7","volume-title":"Fundamentals of algebraic specification 1-equations and initial semantics","author":"H. Ehrig","year":"1985","unstructured":"Ehrig, H., Mahr, B.: Fundamentals of algebraic specification 1-equations and initial semantics. Berlin Heidelberg New York: Springer 1985"},{"key":"CR11","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-61284-8","volume-title":"Fundamentals of algebraic specification 2-module specifications and constraints","author":"H. Ehrig","year":"1990","unstructured":"Ehrig, H., Mahr, B.: Fundamentals of algebraic specification 2-module specifications and constraints. Berlin Heidelberg New York: Springer 1990"},{"key":"CR12","unstructured":"Fey, W.: Pragmatics, concepts, syntax, semantics and correctness notions of ACT TWO: An algebraic module specification and interconnection language. Internal report 1988\/26, TU Berlin, 1988"},{"key":"CR13","unstructured":"Fuchs, J., Hoffmann, A., Meiss, L., Philippi, J., Stolz, M., Wolf, M., Zeyer, J.: The OBSCURE manual. Part 1: Editing and rapid prototyping. Internal Report, Universit\ufffdt Saarbr\ufffdcken (1991)"},{"key":"CR14","unstructured":"Goguen, J.A., Winkler, T.: Introducing OBJ3. Int. Rep. SRI-CSL-88-9. Comput. Sci. Laboratory SRI International. 1988"},{"issue":"1","key":"CR15","doi-asserted-by":"crossref","first-page":"95","DOI":"10.1145\/147508.147524","volume":"39","author":"J.A. Goguen","year":"1992","unstructured":"Goguen, J.A., Burstall, R.M.: Institutions: Abstract model theory for specification and programming. J.ACM39 (1), 95?146 (1992)","journal-title":"J.ACM"},{"key":"CR16","unstructured":"Heckler, R., Loeckx, J., Uhrig, St.: Ein Fallbeispiel: Das Dateisystem von UNIX. Internal Report WP 91\/30. Universit\ufffdt Saarbr\ufffdcken (1991)"},{"key":"CR17","unstructured":"Ayari, A., Friedrich, S., Heckler, R., Loeckx, J.: Das Fallbeispiel LEX. Internal Report WP92\/39, Universit\ufffdt Saarbr\ufffdcken (December 1992)"},{"key":"CR18","unstructured":"Hettler, R.: Spezifikation eines LEX-artigen Scanners. Eine SPECTRUM Fallstudie. Internal Report, TU M\ufffdnchen (November 1992)"},{"key":"CR19","doi-asserted-by":"crossref","first-page":"139","DOI":"10.1016\/0304-3975(84)90062-8","volume":"30","author":"H.A. Klaeren","year":"1984","unstructured":"Klaeren, H.A.: A constructive method for abstract algebraic software specification. Theor. Comput. Sci.30, 139?204 (1984)","journal-title":"Theor. Comput. Sci."},{"key":"CR20","series-title":"Lect. Notes Comput. Sci.","volume-title":"Proc. ESOP 88","author":"B. Krieg-Br\ufffdckner","year":"1988","unstructured":"Krieg-Br\ufffdckner, B.: Algebraic formalisation of program development by transformation. In: Ganzinger H. (ed.) Proc. ESOP 88. (Lect. Notes Comput. Sci., Vol. 300) Berlin Heidelberg New York: Springer 1988"},{"key":"CR21","series-title":"Lect. Notes Comput. Sci.","doi-asserted-by":"crossref","first-page":"313","DOI":"10.1007\/3540539816_74","volume-title":"Proceedings TAPSOFT 91","author":"B. Krieg-Br\ufffdckner","year":"1991","unstructured":"Krieg-Br\ufffdckner, B., Sannella, D.: Structuring specifications in-the-large and in-the-small: Higher-order functions, dependent types and inheritance in SPECTRAL. Proceedings TAPSOFT 91. (Lect. Notes Comput. Sci., Vol. 494, pp. 313?336) Berlin Heidelberg New York: Springer 1991"},{"key":"CR22","series-title":"Lect. Notes Comput. Sci.","doi-asserted-by":"crossref","first-page":"141","DOI":"10.1007\/3-540-54496-8_8","volume-title":"Proc. Workshop on Abstract Data Types (Wusterhausen)","author":"T. Lehmann","year":"1991","unstructured":"Lehmann, T.: A notion of implementation of the specification language OBSCURE, Proc. Workshop on Abstract Data Types (Wusterhausen). (Lect. Notes Comput. Sci., Vol. 534, pp. 141?165) Berlin Heidelberg New York: Springer 1991"},{"key":"CR23","series-title":"Lect. Notes Comput. Sci.","doi-asserted-by":"crossref","first-page":"131","DOI":"10.1007\/3-540-50325-0_7","volume-title":"Proc. of the 5th Workshop on Specification of Abstract Data Types","author":"T. Lehmann","year":"1988","unstructured":"Lehmann, T., Loeckx, J.: The specification language of OBSCURE. In: Sannella, D., Tarlecki, A. (eds.), Proc. of the 5th Workshop on Specification of Abstract Data Types. (Lect. Notes Comput. Sci., Vol. 332, pp. 131?153) Berlin Heidelberg New York: Springer 1988"},{"key":"CR24","doi-asserted-by":"crossref","first-page":"646","DOI":"10.1145\/29873.30399","volume":"9","author":"J. Loeckx","year":"1987","unstructured":"Loeckx, J.: Algorithmic specifications: a constructive specification method for abstract data types. ACM Trans. Program. Lang. Syst.9, 646?685 (1987)","journal-title":"ACM Trans. Program. Lang. Syst."},{"key":"CR25","first-page":"169","volume":"40","author":"J. Loeckx","year":"1990","unstructured":"Loeckx, J.: The specification system OBSCURE. Bull. EATCS40, 169?171 (1990)","journal-title":"Bull. EATCS"},{"key":"CR26","unstructured":"Loeckx, J., Zeyer, J.: A calculus for OBSCURE. Internal Report (to appear)"},{"key":"CR27","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1145\/942578.807067","volume":"7","author":"R. Milner","year":"1972","unstructured":"Milner, R.: Logic for computable functions: description of a machine implementation. SIGPLAN NOTICES7, 1?6 (1972)","journal-title":"SIGPLAN NOTICES"},{"key":"CR28","volume-title":"The definition of standard ML","author":"R. Milner","year":"1990","unstructured":"Milner, R., Tofte, M., Harper, R.: The definition of standard ML. Cambridge, MA: MIT Press 1990"},{"key":"CR29","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-61512-2","volume-title":"Specification and transformation of programs","author":"H. Partsch","year":"1990","unstructured":"Partsch, H.: Specification and transformation of programs. Berlin Heidelberg New York: Springer 1990"},{"key":"CR30","doi-asserted-by":"crossref","first-page":"443","DOI":"10.1007\/BF00271641","volume":"21","author":"D. Sannella","year":"1984","unstructured":"Sannella, D.: A set-theoretic semantics of CLEAR. Acta Inf.21, 443?472 (1984)","journal-title":"Acta Inf."},{"key":"CR31","series-title":"Lect. Notes Comput. Sci.","doi-asserted-by":"crossref","first-page":"297","DOI":"10.1007\/3-540-54496-8_16","volume-title":"Proc. Workshop on Abstract Data Types (Wusterhausen)","author":"D. Sannella","year":"1991","unstructured":"Sannella, D., Tarlecki, A.: Extended ML: past, present and future. Proc. Workshop on Abstract Data Types (Wusterhausen). (Lect. Notes Comput. Sci., Vol. 534, pp. 297?322) Berlin Heidelberg New York: Springer 1991"},{"key":"CR32","doi-asserted-by":"crossref","first-page":"689","DOI":"10.1007\/BF01191893","volume":"29","author":"D. Sannella","year":"1992","unstructured":"Sannella, D., Sokolowski, S., Tarlecki, A.: Toward formal development of programs from algebraic specifications: parameterisation revisited. Acta Inf.29, 689?736 (1992)","journal-title":"Acta Inf."},{"key":"CR33","series-title":"Lect. Notes Comput. Sci.","doi-asserted-by":"crossref","first-page":"375","DOI":"10.1007\/3-540-50940-2_48","volume-title":"Proc. of TAPSOFT'89","author":"D. Sannella","year":"1989","unstructured":"Sannella, D., Tarlecki, A.: Toward formal development of ML programs: foundations and methodology. In: Diaz, J., Orejas, F. (eds.) Proc. of TAPSOFT'89. (Lect. Notes Comput. Sci., Vol. 352, pp. 375?389) Berlin Heidelberg New York: Springer 1989"},{"key":"CR34","series-title":"Lect. Notes Comput. Sci.","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1007\/3-540-15975-4_26","volume-title":"Functional programming and computer architecture","author":"D.A. Turner","year":"1985","unstructured":"Turner, D.A.: Miranda: a non-strict functional language with polymorphic types. In: Goos, G., Hartmanis, J. (eds.) Functional programming and computer architecture. (Lect. Notes Comput. Sci., Vol. 201, pp. 1?16) Berlin Heidelberg New York: Springer 1985"},{"key":"CR35","unstructured":"Walther, Chr.: Automated termination proofs. Internal Report 17\/88, Universit\ufffdt Karlsruhe (1988)"},{"key":"CR36","volume-title":"Handbook of theoretical computer science","author":"M. Wirsing","year":"1990","unstructured":"Wirsing, M.: Algebraic specification. In: van Leeuwen, J. (ed.) Handbook of theoretical computer science. Amsterdam: North-Holland 1990."},{"key":"CR37","doi-asserted-by":"crossref","first-page":"124","DOI":"10.1016\/0304-3975(86)90051-4","volume":"42","author":"M. Wirsing","year":"1986","unstructured":"Wirsing, M.: Structured algebraic specifications: a kernel language. Theor. Comput. Sci.42, 124?249 (1986)","journal-title":"Theor. Comput. Sci."},{"key":"CR38","unstructured":"Zeyer, J.: Erweiterung des OBSCURE-Systems. Internal Report WP 92\/31, Universit\ufffdt Saarbr\ufffdcken (1992)"}],"container-title":["Acta Informatica"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF01209709.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF01209709\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF01209709","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,2]],"date-time":"2019-05-02T09:40:22Z","timestamp":1556790022000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BF01209709"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1993,4]]},"references-count":38,"journal-issue":{"issue":"4","published-print":{"date-parts":[[1993,4]]}},"alternative-id":["BF01209709"],"URL":"https:\/\/doi.org\/10.1007\/bf01209709","relation":{},"ISSN":["0001-5903","1432-0525"],"issn-type":[{"value":"0001-5903","type":"print"},{"value":"1432-0525","type":"electronic"}],"subject":[],"published":{"date-parts":[[1993,4]]}}}