{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,18]],"date-time":"2025-05-18T14:46:14Z","timestamp":1747579574175},"publisher-location":"Berlin, Heidelberg","reference-count":35,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540503255"},{"type":"electronic","value":"9783540459705"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1988]]},"DOI":"10.1007\/3-540-50325-0_7","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T20:21:08Z","timestamp":1330201268000},"page":"131-153","source":"Crossref","is-referenced-by-count":8,"title":["The specification language of OBSCURE"],"prefix":"10.1007","author":[{"given":"Thomas","family":"Lehmann","sequence":"first","affiliation":[]},{"given":"Jacques","family":"Loeckx","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,5,26]]},"reference":[{"key":"7_CR1","doi-asserted-by":"crossref","unstructured":"Bidoit, M., Choppy, C., Voisin, F., \u201cThe ASSPEGIQUE specification environment \u2014 Motivations and design\u201d, Int. Rep., Univ. Paris-Sud (Oct. 1985)","DOI":"10.1007\/978-3-662-09691-8_6"},{"key":"7_CR2","first-page":"293","volume":"34","author":"E. K. Blum","year":"1987","unstructured":"Blum, E.K., Ehrig, H., Parisi-Presicce, F., \u201cAlgebraic Specification of Modules and Their Basic Interconnections\u201d, JCSS 34 (1987), pp. 293\u2013339","journal-title":"JCSS"},{"key":"7_CR3","first-page":"292","volume":"86","author":"R. M. Burstall","year":"1980","unstructured":"Burstall, R.M., Goguen, J.A., \u201cThe semantics of Clear, a specification language\u201d, Proc. 1979 Copenhagen Winter School, LNCS 86 (1980), pp. 292\u2013332","journal-title":"Proc. 1979 Copenhagen Winter School, LNCS"},{"key":"7_CR4","unstructured":"Bidoit, M., Gaudel, M.C., Mauboussin, A., \u201cHow to make algebraic specifications more understandable? \u2014 An experiment with the PLUSS specification language\u201d, Int. Rep. 343, Univ. Paris-Sud (Apr. 1987)"},{"key":"7_CR5","unstructured":"Bergstra, J.A., Heering, J., Klint, P., \u201cModule Algebra\u201d, Report CS-RXXX, Centre for Math. and Comp. Sc., Amsterdam (1986), submitted for publication"},{"key":"7_CR6","volume-title":"\u201cASF \u2014 An algebraic specification formalism\u201d, Report CS-R 8705","author":"J. A. Bergstra","year":"1987","unstructured":"Bergstra, J.A., Heering, J., Klint, P., \u201cASF \u2014 An algebraic specification formalism\u201d, Report CS-R 8705, Centre for Math. and Comp. Sc., Amsterdam (1987)"},{"key":"7_CR7","unstructured":"Burstall, R.M., \u201cInductively Defined Functions in Functional Programming Languages\u201d, Int. Rep. ECS-LFCS-87-25, Univ. Edinburgh (April 1987)"},{"key":"7_CR8","doi-asserted-by":"crossref","first-page":"47","DOI":"10.1007\/BF00625280","volume":"18","author":"M. Broy","year":"1982","unstructured":"Broy, M., Wirsing, M., \u201cPartial abstract types\u201d, Acta Inform. 18 (1982), pp. 47\u201364","journal-title":"Acta Inform."},{"key":"7_CR9","unstructured":"Cartwright, R., \u201cA constructive alternative to abstract data type definitions\u201d, Proc. 1980 LISP Conf., Stanford Univ. (1980), pp. 46\u201355"},{"key":"7_CR10","doi-asserted-by":"crossref","first-page":"206","DOI":"10.1145\/322290.322303","volume":"29","author":"H. D. Ehrich","year":"1982","unstructured":"Ehrich, H.D., \u201cOn the theory of specifications, implementation and parameterization of abstract data types\u201d, Journal ACM 29 (1982), pp. 206\u2013227","journal-title":"Journal ACM"},{"key":"7_CR11","unstructured":"Enderton, H.B., \u201cA Mathematical Introduction to Logic\u201d, Academic Press (1972)"},{"key":"7_CR12","doi-asserted-by":"crossref","unstructured":"Ehrig, H., Mahr, B., \u201cFundamentals of Algebraic Specification (Part 1)\u201d, Springer-Verlag (1985)","DOI":"10.1007\/978-3-642-69962-7"},{"key":"7_CR13","unstructured":"Ehrig, H., Mahr, B., \u201cFundamentals of Algebraic Specification (Part 2)\u201d, Springer-Verlag (to appear)"},{"key":"7_CR14","unstructured":"Fey, W., \u201cConcepts, syntax and semantics of ACT-TWO\u201d, presented at the 5th Workshop on Specification of Abstract Data Types, Edinburgh (Sept. 1987)"},{"key":"7_CR15","first-page":"52","volume":"85","author":"K. Futatsugi","year":"1985","unstructured":"Futatsugi, K., Goguen, J., Jouannaud, J.P., Meseguer, J., \u201cPrinciples of OBJ2\u201d, Proc. POPL 85 (1985), pp. 52\u201366","journal-title":"Proc. POPL"},{"key":"7_CR16","unstructured":"Fuchs, J., Hoffmann, A., Loeckx, J., Meiss, L., Philippi, J., Zeyer, J., \u201cBenutzerhandbuch des OBSCURE-Systems \u2014 Teil 1: Der Editor\u201d, Int. Rep. WP 88\/05, Univ. Saarbr\u00fccken (1988)"},{"key":"7_CR17","unstructured":"Gaudel, M.C., \u201cA first introduction to PLUSS\u201d, Int. Rep., Univ. Paris-Sud (Dec. 1984)"},{"key":"7_CR18","doi-asserted-by":"crossref","first-page":"1048","DOI":"10.1145\/359657.359666","volume":"21","author":"J. V. Guttag","year":"1978","unstructured":"Guttag, J.V., Horowitz, E., Musser, D.R., \u201cAbstract data types and software validation\u201d, Comm. ACM 21 (1978), pp. 1048\u20131069","journal-title":"Comm. ACM"},{"key":"7_CR19","unstructured":"Goguen, J.A., Thatcher, J.W., Wagner, E.G., \u201cAn initial algebra approach to the specification, correctness and implementation of abstract data types\u201d, Current Trends in Programming Methodology IV (Yeh, R., ed.), Prentice-Hall (1978), pp. 80\u2013149"},{"issue":"4","key":"7_CR20","doi-asserted-by":"crossref","first-page":"271","DOI":"10.1007\/BF00289507","volume":"1","author":"C. A. R. R. Hoare","year":"1972","unstructured":"Hoare, C.A.R., \u201cProof of correctness of data representations\u201d, Acta Inf. 1, 4 (1972), pp. 271\u2013281","journal-title":"Acta Inf."},{"key":"7_CR21","doi-asserted-by":"crossref","unstructured":"Hussmann, H., \u201cRapid Prototyping for Algebraic Specifications \u2014 RAP System User's Manual\u201d (Revised edition), Int. Rep. MIP-8504, Univ. Passau (1987)","DOI":"10.1007\/3-540-19242-5_23"},{"issue":"2","key":"7_CR22","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., \u201cA constructive method for abstract algebraic software specification\u201d, Theor. Comp. Sc. 30, 2 (1984), pp. 139\u2013204","journal-title":"Theor. Comp. Sc."},{"key":"7_CR23","unstructured":"Klein, B., \u201cZwei Erweiterungen von OBSCURE\u201d, Diplomarbeit, FB 10, Univ. Saarbr\u00fccken (1987)"},{"key":"7_CR24","unstructured":"Liskov, B., Guttag, J., \u201cAbstraction and specification in program development\u201d, The MIT Electrical Engin. and Comp. Sc. Series, McGraw-Hill (1986)"},{"key":"7_CR25","unstructured":"Liskov, B., et al., \u201cCLU Reference Manual\u201d, LNCS 114 (1981)"},{"key":"7_CR26","unstructured":"Lehmann, T., Loeckx, J., \u201cOBSCURE: A specification environment for abstract data types\u201d, Int. Rep. A06\/87, Univ. Saarbr\u00fccken (1987)"},{"issue":"4","key":"7_CR27","doi-asserted-by":"crossref","first-page":"646","DOI":"10.1145\/29873.30399","volume":"9","author":"J. Loeckx","year":"1987","unstructured":"Loeckx, J., \u201cAlgorithmic Specifications: A Constructive Specification Method for Abstract Data Types\u201d, TOPLAS 9, 4 (1987), pp. 646\u2013685","journal-title":"TOPLAS"},{"key":"7_CR28","doi-asserted-by":"crossref","unstructured":"Loeckx, J., Sieber, K., \u201cThe Foundations of Program Verification\u201d (Second edition), Wiley\/Teubner (1987)","DOI":"10.1007\/978-3-322-96753-4"},{"key":"7_CR29","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1145\/942578.807067","volume":"7","author":"R. Milner","year":"1972","unstructured":"Milner, R., \u201cLogic for computable functions: description of a machine implementation\u201d, SIGPLAN NOTICES 7 (1972), pp. 1\u20136","journal-title":"SIGPLAN NOTICES"},{"key":"7_CR30","doi-asserted-by":"crossref","unstructured":"Nakajima, R., Yuasa, T., \u201cThe IOTA Programming System\u201d, LNCS 160 (1983)","DOI":"10.1007\/3-540-12693-7"},{"issue":"5","key":"7_CR31","doi-asserted-by":"crossref","first-page":"443","DOI":"10.1007\/BF00271641","volume":"21","author":"D. Sannella","year":"1984","unstructured":"Sannella, D., \u201cA set-theoretic semantics for Clear\u201d, Acta Informatica 21, 5 (1984), pp. 443\u2013472","journal-title":"Acta Informatica"},{"key":"7_CR32","doi-asserted-by":"crossref","unstructured":"Shaw, M., \u201cALPHARD, Form and Content\u201d, Springer-Verlag (1981)","DOI":"10.1007\/978-1-4612-5979-4"},{"key":"7_CR33","unstructured":"Spivey, J.M., \u201cUnderstanding Z\u201d, Cambridge University Press (1988)"},{"key":"7_CR34","doi-asserted-by":"crossref","first-page":"711","DOI":"10.1145\/69622.357192","volume":"4","author":"J. W. Thatcher","year":"1982","unstructured":"Thatcher, J.W., Wagner, E.G., Wright, J.B., \u201cData type specification: Parameterization and the power of specification techniques\u201d, TOPLAS 4 (1982), pp. 711\u2013732","journal-title":"TOPLAS"},{"issue":"2","key":"7_CR35","first-page":"124","volume":"42","author":"M. Wirsing","year":"1986","unstructured":"Wirsing, M., \u201cStructured algebraic specifications: A kernel language\u201d, Theor. Comp. Sc. 42, 2 (1986), pp. 124\u2013249","journal-title":"Theor. Comp. Sc."}],"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_7.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T21:17:53Z","timestamp":1605647873000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-50325-0_7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1988]]},"ISBN":["9783540503255","9783540459705"],"references-count":35,"URL":"https:\/\/doi.org\/10.1007\/3-540-50325-0_7","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1988]]}}}