{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T22:55:27Z","timestamp":1725663327978},"publisher-location":"Berlin, Heidelberg","reference-count":14,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540159841"},{"type":"electronic","value":"9783540396857"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1985]]},"DOI":"10.1007\/3-540-15984-3_261","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T18:28:54Z","timestamp":1330194534000},"page":"181-196","source":"Crossref","is-referenced-by-count":1,"title":["Retrieval in a module library using formal specifications: Preliminary search using syntactic properties"],"prefix":"10.1007","author":[{"given":"Werner","family":"Gaube","sequence":"first","affiliation":[]},{"given":"Heinrich C.","family":"Mayr","sequence":"additional","affiliation":[]},{"given":"Peter C.","family":"Lockemann","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,8]]},"reference":[{"key":"33_CR1","doi-asserted-by":"crossref","unstructured":"Kutzler, B; Lichtenberger, F: Bibliography On Abstract Data Types Informatik Fachberichte 68. Springer Verlag 1983","DOI":"10.1007\/978-3-642-69032-7"},{"key":"33_CR2","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-69009-9","volume-title":"Algebraische Spezifikation","author":"H. A. Klaeren","year":"1983","unstructured":"Klaeren, H. A.: Algebraische Spezifikation, Springer-Verlag Berlin Heidelberg New York 1983"},{"key":"33_CR3","unstructured":"Guttag, J. V; Horowitz, E; Musser D. R: The Design of Data Type Specifications in: Yeh, R. T. (ed.): Current Trends in Programming Methodology, Vol. IV Data Structuring, Prentice-Hall 1978, pp. 60\u201379"},{"key":"33_CR4","unstructured":"Goguen, J. A; Thatcher, J. W; Wagner E. G; Wrigth, J. B: Abstract data types as initial algebras and the correctness of data representations Proc. of Confr. on Computer Graphics, Pattern Recognition and Data Structures, 1975"},{"key":"33_CR5","unstructured":"Bergman, M; Deransart, P: Abstract Data Types and Rewriting Systems: Application to the programming of algebraic abstract data types in PROLOG. In: Astesiano, E; B\u00f6hm, C: CAAP81, LNCS 112"},{"key":"33_CR6","unstructured":"Lockermann, P. C.; Mayr, H. C.; Dittrich, K. R.: A Pragmatic Approach To The Algebraic Specification Of Software Modules. Universit\u00e4t Karlsruhe, Fakult\u00e4t f\u00fcr Informatik, Interner Bericht 1979"},{"key":"33_CR7","unstructured":"Mayr, H. C.; Lockemann, P. C.; Dittrich, K. R.: Operational Replacement Schemes: A Practice Oriented Approach To The Specification Of Abstract Data Types. Universit\u00e4t Karlsruhe, Fakult\u00e4t f\u00fcr Informatik, Interner Bericht 1979"},{"key":"33_CR8","unstructured":"Herzog, W: Eindeutigkeit und Vollst\u00e4ndigkeit von ORS-Spezifikationen. Diplomarbeit, Fakult\u00e4t f\u00fcr Informatik, Universit\u00e4t Karlsruhe, 1983"},{"key":"33_CR9","unstructured":"Gaube, W.; Lockemann, P. C.; Mayr, H. C.: ORS-Spezifikationslabor: Generierung von PROLOG-Programmen aus Definitionen Abstrakter Datentypen. Universit\u00e4t Karlsruhe, Fakult\u00e4t f\u00fcr Informatik, Interner Bericht 1984"},{"key":"33_CR10","unstructured":"Gaube, W.; Lockemann, P. C.; Mayr, H. C.: ORS-Spezifikationslabor: Grobrecherche zur Bestimmung isomorpher Spezifikationen. Universit\u00e4t Karlsruhe, Fakult\u00e4t f\u00fcr Informatik, Interner Bericht 1984"},{"key":"33_CR11","unstructured":"Proche, K: ORSEC: Un Outil de Recherche des Specifications equivalents par comparaison d'exemples These, Universite de Nancy 1, 1982"},{"key":"33_CR12","unstructured":"Drosten, K; Ehrich, H.-D.: Translating Algebraic Specifications to Prolog Programs, Technische Universit\u00e4t Braunschweig, Informatik-Berichte, Bericht Nr. 84-08"},{"key":"33_CR13","doi-asserted-by":"crossref","unstructured":"Remy, J. L; Veloso, P. A. S: Comparing Data Type Specifications via Their Normal Forms, Int. J. of Computer and Information Sciences, Vol. 11, No. 3, 1982","DOI":"10.1007\/BF00999725"},{"key":"33_CR14","volume-title":"Geldmacher, W: IF Prolog User's Manual","author":"U Leibrandt","year":"1983","unstructured":"Leibrandt, U; Bernhardt, L; Folkjaer, P; Geldmacher, W: IF Prolog User's Manual, Version 1.0, InterFace Computer GmbH, M\u00fcnchen, 1983","edition":"Version 1.0"}],"container-title":["Lecture Notes in Computer Science","EUROCAL '85"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-15984-3_261.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T20:09:17Z","timestamp":1605643757000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-15984-3_261"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1985]]},"ISBN":["9783540159841","9783540396857"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/3-540-15984-3_261","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1985]]}}}