{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T13:34:56Z","timestamp":1725456896030},"publisher-location":"Berlin, Heidelberg","reference-count":13,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540160779"},{"type":"electronic","value":"9783662096918"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1985]]},"DOI":"10.1007\/978-3-662-09691-8_5","type":"book-chapter","created":{"date-parts":[[2013,5,7]],"date-time":"2013-05-07T04:50:18Z","timestamp":1367902218000},"page":"39-53","source":"Crossref","is-referenced-by-count":9,"title":["Implementation Specifications"],"prefix":"10.1007","author":[{"given":"Christoph","family":"Beierle","sequence":"first","affiliation":[]},{"given":"Angelika","family":"Vo\u00df","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"5_CR1","doi-asserted-by":"crossref","unstructured":"Burstall, R.M., Goguen, J.A.: The semantics of Clear, a specification language. Proc. of Advanced Course on Abstract Software Specifications, Copenhagen. LNCS Vol.86, pp. 292\u2013332.","DOI":"10.1007\/3-540-10007-5_41"},{"key":"5_CR2","volume-title":"Algebraic specifications and implementations in an integrated software development and verfication system","author":"C Beierle","year":"1985","unstructured":"Beierle, C, Vo\u00df, A.: Algebraic specifications and implementations in an integrated software development and verfication system. PB Informatik, Univ. Kaiserslautern (to appear 1985)."},{"issue":"1","key":"5_CR3","doi-asserted-by":"publisher","first-page":"206","DOI":"10.1145\/322290.322303","volume":"29","author":"H-D Ehrich","year":"1982","unstructured":"Ehrich, H.-D.: On the theory of specification, Implementation and Parametrization of Abstract Data Types. JACM Vol. 29, No. 1, Jan. 1982, pp. 206\u2013227.","journal-title":"JACM"},{"key":"5_CR4","doi-asserted-by":"publisher","first-page":"209","DOI":"10.1016\/S0304-3975(82)80001-7","volume":"20","author":"H Ehrig","year":"1982","unstructured":"Ehrig, H., Kreowski, H.-J., Mahr, B., Padawitz, P.: Algebraic Implementation of Abstract Data Types. Theor. Computer Science Vol. 20, 1982, pp. 209\u2013254.","journal-title":"Theor. Computer Science"},{"key":"5_CR5","first-page":"203","volume":"62","author":"H Ehrig","year":"1978","unstructured":"Ehrig, H., Kreowski, H. J.,Padawitz, P.: Stepwise specification and implementation of abstract data types. Proc. 5th ICALP, LNCS Vol. 62, 1978, pp. 203\u2013206.","journal-title":"Proc. 5th ICALP, LNCS"},{"issue":"3","key":"5_CR6","doi-asserted-by":"publisher","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 TOPLAS Vol. 5, No.3, July 1983, pp. 318\u2013354.","journal-title":"ACM TOPLAS"},{"key":"5_CR7","volume-title":"Institutions: Abstract Model Theory for Program Specification","author":"JA Goguen","year":"1983","unstructured":"Goguen, J.A., Burstall, R.M.: Institutions: Abstract Model Theory for Program Specification. Draft version. SRI International and University of Edinburgh, January 1983."},{"key":"5_CR8","first-page":"265","volume":"140","author":"JA Goguen","year":"1982","unstructured":"Goguen, J.A., Meseguer, J.: Universal Realization, Persistent Interconnection and Implementation of Abstract Modules. Proc. 9th ICALP, LNCS 140, 1982, pp. 265\u2013281.","journal-title":"Proc. 9th ICALP, LNCS"},{"key":"5_CR9","first-page":"80","volume-title":"Current Trends in Programming Methodology","author":"JA Goguen","year":"1978","unstructured":"Goguen, J.A., Thatcher, J.W., Wagner, E.G.: An initial algebra approach to the specification, correctness, and implementation of abstract data types, in: Current Trends in Programming Methodology, Vol.4, Data Structuring (ed. R. Yeh), Prentice-Hall, 1978, pp. 80\u2013144."},{"key":"5_CR10","volume-title":"Initial algebraic specifications of data types, parameterized data types, and algorithms","author":"UL Hupbach","year":"1980","unstructured":"Hupbach, U.L., Kaphengst, H., Reichel, H.: Initial algebraic specifications of data types, parameterized data types, and algorithms. VEB Robotron, Zentrum f\u00fcr Forschung und Technik, Dresden, 1980."},{"key":"5_CR11","unstructured":"Schoett, O.: A theory of program modules, their specification and implementation. Draft report, Univ. of Edinburgh."},{"key":"5_CR12","doi-asserted-by":"crossref","unstructured":"Sannella, D.T., Wirsing, M.: Implementation of parameterized specifications, Proc. 9th ICALP 1982, LNCS Vol. 140, pp 473\u2013488.","DOI":"10.1007\/BFb0012793"},{"key":"5_CR13","doi-asserted-by":"crossref","unstructured":"Sannella, D., Wirsing, M.: A kernel language for algebraic specification and implementation. Proc. PCT, LNCS Vol. 158, 1983.","DOI":"10.1007\/3-540-12689-9_122"}],"container-title":["Informatik-Fachberichte","Recent Trends in Data Type Specification"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-662-09691-8_5","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,12]],"date-time":"2019-05-12T18:21:37Z","timestamp":1557685297000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-662-09691-8_5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1985]]},"ISBN":["9783540160779","9783662096918"],"references-count":13,"URL":"https:\/\/doi.org\/10.1007\/978-3-662-09691-8_5","relation":{},"ISSN":["0343-3005"],"issn-type":[{"type":"print","value":"0343-3005"}],"subject":[],"published":{"date-parts":[[1985]]}}}