{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T15:42:47Z","timestamp":1725637367769},"publisher-location":"Berlin, Heidelberg","reference-count":22,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540503347"},{"type":"electronic","value":"9783642741166"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1988]]},"DOI":"10.1007\/978-3-642-74116-6_9","type":"book-chapter","created":{"date-parts":[[2011,11,24]],"date-time":"2011-11-24T11:08:21Z","timestamp":1322132901000},"page":"132-145","source":"Crossref","is-referenced-by-count":0,"title":["Das OBSCURE-Projekt"],"prefix":"10.1007","author":[{"given":"Jacques","family":"Loeckx","sequence":"first","affiliation":[]},{"given":"Joachim","family":"Philippi","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"volume-title":"Deduktion Systeme","year":"1987","key":"9_CR1","unstructured":"K. H. Blasius and H.-J. B\u00fcrckert, editors. Deduktion Systeme. Oldenbourg, 1987"},{"key":"9_CR2","volume-title":"The ASSPEGIQUE specification environment \u2014 Motivations and design","author":"M Bidoit","year":"1985","unstructured":"M. Bidoit, C. Choppy, and F. Voisin. The ASSPEGIQUE specification environment \u2014 Motivations and design. Int. Rep., Univ. Paris-Sud, October 1985"},{"key":"9_CR3","volume-title":"The Karlsruhe induction theorem proving system","author":"S Biundo","year":"1986","unstructured":"S. Biundo, B. Hummel, D. Hutter, and C. Walther. The Karlsruhe induction theorem proving system. In J\u00f6rg H. Siekmann, editor, 8th International Conference on Automated Deduction, LNCS 230, Oxford, England, 1986"},{"key":"9_CR4","first-page":"46","volume-title":"A constructive alternative to abstract data type definitions","author":"R Cartwright","year":"1980","unstructured":"R. Cartwright. A constructive alternative to abstract data type definitions. Proc. 1980 LISP Conf. Stanford Univ., 46\u201355, 1980"},{"key":"9_CR5","volume-title":"Principles of OBJ2","author":"K Futatsugi","year":"1985","unstructured":"K. Futatsugi, J.A. Goguen, J.P. Jouannaud, J. Meseguer. Principles of OBJ2. Proc. 12th ACM POPL-Conf., 1985."},{"key":"9_CR6","volume-title":"Benutzerhandbuch des OBSCURE-Systems \u2014 Teil 1: Der Editor","author":"J Fuchs","year":"1987","unstructured":"J. Fuchs, A. Hoffmann, J. Loeckx, L. Meiss, J. Philippi, and J. ZeyerBenutzerhandbuch des OBSCURE-Systems \u2014 Teil 1: Der Editor. Int. Rep. (WP) 88\/05, Univ. Saarbr\u00fccken, 1987"},{"key":"9_CR7","first-page":"80","volume-title":"Current Trends in Programming Methodology IV","author":"JA Goguen","year":"1978","unstructured":"J.A. Goguen, J.W. Thatcher, and E.G. Wagner. An initial algebra approach to the specification, correctness and implementation of abstract data types. In R. Yeh, editor, Current Trends in Programming Methodology IV, pages 80\u2013149, Prentice-Hall, 1978"},{"issue":"4","key":"9_CR8","doi-asserted-by":"publisher","first-page":"271","DOI":"10.1007\/BF00289507","volume":"1","author":"CAR Hoare","year":"1971","unstructured":"C.A.R. Hoare. Proof of correctness of data representations. Acta Informatica, 1(4):271\u2013281, 1972","journal-title":"Acta Informatica"},{"key":"9_CR9","first-page":"234","volume-title":"Information processing pages","author":"JC King","year":"1971","unstructured":"J.C. King. A program verifier. In Information processing 71, pages 234\u2013249, IFIP, 1971"},{"key":"9_CR10","first-page":"695","volume-title":"REVE a rewrite rule laboratory","author":"P Lescanne","year":"1986","unstructured":"P. Lescanne. REVE a rewrite rule laboratory. In 8th International Conference on Automated Deduction, pages 695\u2013696, LNCS 230, 1986."},{"key":"9_CR11","volume-title":"The Munich Project CIP \u2014 Vol. I: The wide spectrum language CIP-L","author":"The CIP language group","year":"1985","unstructured":"The CIP language group. The Munich Project CIP \u2014 Vol. I: The wide spectrum language CIP-L. LNCS 183, 1985"},{"key":"9_CR12","series-title":"The MIT Electrical Engin, and Comp. Sc. Series","volume-title":"Abstraction and specification in program development","author":"B Liskov","year":"1986","unstructured":"B. Liskov and J. Guttag. Abstraction and specification in program development. The MIT Electrical Engin, and Comp. Sc. Series, McGraw-Hill, 1986"},{"key":"9_CR13","unstructured":"J. Loeckx and T. Lehmann. The specification language of OBSCURE. In D. Sannella, A. Tarlecki (eds.), Recent Trends in Abstract Data Type Specifications. LNCS, to appear"},{"key":"9_CR14","first-page":"129","volume-title":"Algorithmic specifications of abstract data types","author":"J Loeckx","year":"1981","unstructured":"J. Loeckx. Algorithmic specifications of abstract data types. In Proceedings ICALP 81, pages 129-147, LNCS 115, 1981."},{"issue":"4","key":"9_CR15","doi-asserted-by":"publisher","first-page":"646","DOI":"10.1145\/29873.30399","volume":"9","author":"J Loeckx","year":"1987","unstructured":"J. Loeckx. Algorithmic specifications: a constructive specification method for abstract data types. ACM Transactions on Programming Languages and Systems, 9(4):646\u2019685, 1987","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"9_CR16","volume-title":"Computersoftware: Rechtsschutz und Vertragsgestaltung","author":"HW Moritz","year":"1986","unstructured":"H.-W. Moritz and B. Tybussek. Computersoftware: Rechtsschutz und Vertragsgestaltung. Verlag C.H. Beck, M\u00fcnchen, 1986"},{"key":"9_CR17","volume-title":"PhD thesis","author":"W Olthoff","year":"1987","unstructured":"W. Olthoff. The connection between applicative and procedural languages in an integrated software development and verification system. PhD thesis, Univers, Kaiserslautern, January 1987"},{"key":"9_CR18","doi-asserted-by":"crossref","unstructured":"W. Polak. An exercise in automatic program verification. IEEE Transactions on Software Engineering, 5(5), 1979","DOI":"10.1109\/TSE.1979.230183"},{"key":"9_CR19","volume-title":"The Markgraf Karl Refutation Procedure","author":"KMG Raph","year":"1984","unstructured":"Karl Mark G. Raph. The Markgraf Karl Refutation Procedure. SEKI MEMO MK-84-01, Universit\u00e4t Kaiserslautern, 1984"},{"key":"9_CR20","unstructured":"Stanford PASCAL Verifier User Manual. Stanford Verification Group, Computer Science Department Stanford University, report no. 11 edition, 1979"},{"key":"9_CR21","volume-title":"The C++ programming language","author":"B Stroustrup","year":"1986","unstructured":"B. Stroustrup. The C++ programming language. Addison Wesley, 1986"},{"key":"9_CR22","doi-asserted-by":"crossref","unstructured":"M. Wand. Final algebra semantics and data type expressions. Journal of Computer and System Sciences, 19(1), 1979.","DOI":"10.1016\/0022-0000(79)90011-4"}],"container-title":["Informatik-Fachberichte","Innovative Informations-Infrastrukturen"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-74116-6_9.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,25]],"date-time":"2020-11-25T02:38:31Z","timestamp":1606271911000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-74116-6_9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1988]]},"ISBN":["9783540503347","9783642741166"],"references-count":22,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-74116-6_9","relation":{},"ISSN":["0343-3005"],"issn-type":[{"type":"print","value":"0343-3005"}],"subject":[],"published":{"date-parts":[[1988]]}}}