{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,21]],"date-time":"2025-03-21T20:40:20Z","timestamp":1742589620335,"version":"3.40.2"},"publisher-location":"Berlin, Heidelberg","reference-count":24,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540100034"},{"type":"electronic","value":"9783540393467"}],"license":[{"start":{"date-parts":[[1980,1,1]],"date-time":"1980-01-01T00:00:00Z","timestamp":315532800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1980]]},"DOI":"10.1007\/3-540-10003-2_68","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T16:59:00Z","timestamp":1330189140000},"page":"157-168","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":28,"title":["Parameterized data types in algebraic specification languages"],"prefix":"10.1007","author":[{"given":"Hartmut","family":"Ehrig","sequence":"first","affiliation":[]},{"given":"Hans-J\u00f6rg","family":"Kreowski","sequence":"additional","affiliation":[]},{"given":"James","family":"Thatcher","sequence":"additional","affiliation":[]},{"given":"Eric","family":"Wagner","sequence":"additional","affiliation":[]},{"given":"Jesse","family":"Wright","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,5,24]]},"reference":[{"key":"15_CR1","unstructured":"ADJ (JAG, JWT, EGW, JBW). \"Abstract data types as initial algebras and correctness of data representations,\" Proceedings, Conference on Computer Graphics, Pattern Recognition and Data Structure, May 1975, pp. 89\u201393."},{"key":"15_CR2","unstructured":"ADJ (JWT, EGW, JBW) \"Specification of abstract data types using conditional axioms,\" IBM Research Report RC-6214, September 1976."},{"key":"15_CR3","series-title":"IBM Research Report","first-page":"80","volume-title":"Current Trends in Programming Methodology, IV: Data Structuring","author":"J. A. Goguen","year":"1978","unstructured":"ADJ (JAG, JWT, EGW) \"An initial algebra approach to the specification, correctness, and implementation of abstract data types,\" IBM Research Report RC-6487, October 1976. Current Trends in Programming Methodology, IV: Data Structuring (R. T. Yeh, Ed.) Prentice Hall, New Jersey (1978) 80\u2013149."},{"key":"15_CR4","doi-asserted-by":"crossref","unstructured":"ADJ (JWT, EGW, JBW) \"Data Type Specification: parameterization and the power of specification techniques,\" Proceedings, SIGACT 10th Annual Symposium on Theory of Computing, May, 1978, pp. 119\u2013132.","DOI":"10.1145\/800133.804340"},{"key":"15_CR5","unstructured":"ADJ (HE, H-JK, JWT, EGW, JBW) \"Parameter passing in algebraic specification languages,\" Technical Report to appear, 1980."},{"key":"15_CR6","volume-title":"Putting Theories together to make Specifications","author":"R. M. Burstall","year":"1977","unstructured":"Burstall, R.M. and Goguen, J. A. \"Putting Theories together to make Specifications,\" Proceedings 1977 IJCAI, MIT, Cambridge, MA., August, 1977."},{"key":"15_CR7","unstructured":"Burstall, R.M. and Goguen, J.A. \"Semantics of CLEAR,\" Working Note \u2014 Draft version, Department of Artificial Intelligence, Edinburgh University, January, 1979."},{"key":"15_CR8","doi-asserted-by":"crossref","unstructured":"Burstall, R.M. and Goguen, J.A. \"The semantics of CLEAR, A specification Language,\" Working Draft, Edinburgh University, January, 1980. To appear, Proceedings, 1979 Copenhagen Winter School on Abstract Software Specification.","DOI":"10.1007\/3-540-10007-5_41"},{"key":"15_CR9","volume-title":"Universal Algebra","author":"P. M. Cohn","year":"1965","unstructured":"Cohn, P.M. Universal Algebra, Harper and Row, New York, 1965."},{"key":"15_CR10","doi-asserted-by":"crossref","first-page":"155","DOI":"10.1007\/3-540-08921-7_64","volume":"64","author":"H.-D. Ehrich","year":"1978","unstructured":"Ehrich, H.-D. \"On the theory of specification, implementation and parameterization of abstract data types,\" Research report, Dortmund, 1978. Short version, Lecture Notes in Computer Science 64 (1978) 155\u2013164.","journal-title":"Lecture Notes in Computer Science"},{"key":"15_CR11","unstructured":"Ehrig, H. and Kreowski, H.-J. \"Some remarks concerning correct specification and implementation of abstract data types,\" Technical University of Berlin, Report 77-13, August 1977."},{"key":"15_CR12","doi-asserted-by":"crossref","unstructured":"Ehrig, H., Kreowski, H.-J. and Padawitz, P. \"Stepwise specification and implementation of abstract data types,\" Technical University of Berlin, Report, November 1977. Proceedings 5th ICALP, Udine, July 1978: Lecture Notes in Computer Science (1978).","DOI":"10.1007\/3-540-08860-1_16"},{"key":"15_CR13","unstructured":"Ehrig, H., Kreowski, H.-J. and Padawitz, P. \"Algebraic implementation of abstract data types: concept, syntax, semantics, correctness,\" This volume."},{"key":"15_CR14","volume-title":"OBJ-0 preliminary users manual","author":"J. A. Goguen","year":"1977","unstructured":"Goguen, J.A. and Tardo, J. \"OBJ-0 preliminary users manual,\" UCLA, Los Angeles, CA. 1977."},{"key":"15_CR15","volume-title":"Universal Algebra","author":"G. Graetzer","year":"1968","unstructured":"Graetzer, G. Universal Algebra, Van Nostrand, Princeton, NJ, 1968."},{"key":"15_CR16","unstructured":"Guttag, J.V. \"The specification and application to programming of abstract data types,\" Univ. of Toronto, Computer Systems Research Group, Technical Report CSRG-59, September, 1975."},{"key":"15_CR17","doi-asserted-by":"crossref","unstructured":"Guttag, J.V. \"Abstract data types and the development of data structures,\" supplement to Proc. Conf. on Data Abstraction, Definition, and Structure, SIGPLAN Notices 8, March, 1976.","DOI":"10.1145\/800237.807124"},{"key":"15_CR18","doi-asserted-by":"crossref","unstructured":"Guttag, J.V. \"The algebraic specification of abstract data types,\" USC Computer Science Department, Draft Manuscript, April, 1977.","DOI":"10.1007\/BF00260922"},{"key":"15_CR19","unstructured":"Kreowski, Hans-J\u00f6rg. \"Notes on the power of equational specification: an example,\" Manuscript, Technical University Berlin. September, 1979."},{"issue":"8","key":"15_CR20","doi-asserted-by":"crossref","first-page":"564","DOI":"10.1145\/359763.359789","volume":"20","author":"B. Liskov","year":"1977","unstructured":"Liskov, Barbara, Snyder, Alan, Atkinson, Russel, and Schaffert, Craig. \"Abstraction mechanisms in CLU,\" CACM 20, Nr. 8 (1977) 564\u2013576.","journal-title":"CACM"},{"issue":"4","key":"15_CR21","doi-asserted-by":"crossref","first-page":"50","DOI":"10.1145\/942572.807045","volume":"9","author":"B. Liskov","year":"1977","unstructured":"Liskov, Barbara and Zilles, Stephen. \"Programming with abstract data types,\" SIGPLAN Notices 9, Nr.4 (1977) 50\u201359.","journal-title":"SIGPLAN Notices"},{"key":"15_CR22","unstructured":"Scott, Dana. \"Mathematical concepts in programming language semantics,\" Proceedings, AFIPS Spring Joint Computer Conference, 1962, pp. 225\u2013234."},{"key":"15_CR23","doi-asserted-by":"crossref","first-page":"253","DOI":"10.1109\/TSE.1976.233830","volume":"4","author":"W. A. Wulf","year":"1976","unstructured":"Wulf, W.A., London, R.L., and Shaw, M. \"An introduction to the construction and verification of Alphard programs,\" IEEE Transactions on Software Engineering SE-2 4 (1976)253\u2013265.","journal-title":"IEEE Transactions on Software Engineering SE-2"},{"key":"15_CR24","volume-title":"An introduction to data algebras","author":"S. N. Zilles","year":"1975","unstructured":"Zilles, S.N. \"An introduction to data algebras,\" working draft paper, IBM Research, San Jose, September, 1975."}],"container-title":["Lecture Notes in Computer Science","Automata, Languages and Programming"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-10003-2_68","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,3,21]],"date-time":"2025-03-21T20:09:32Z","timestamp":1742587772000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-10003-2_68"}},"subtitle":["Short version"],"short-title":[],"issued":{"date-parts":[[1980]]},"ISBN":["9783540100034","9783540393467"],"references-count":24,"URL":"https:\/\/doi.org\/10.1007\/3-540-10003-2_68","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1980]]},"assertion":[{"value":"24 May 2005","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}