{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T22:52:30Z","timestamp":1725663150545},"publisher-location":"Berlin, Heidelberg","reference-count":31,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540100072"},{"type":"electronic","value":"9783540381365"}],"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-10007-5_39","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T17:02:45Z","timestamp":1330189365000},"page":"248-272","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":5,"title":["An introduction to data algebras"],"prefix":"10.1007","author":[{"given":"Stephen N.","family":"Zilles","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,5,28]]},"reference":[{"issue":"1","key":"6_CR1","doi-asserted-by":"crossref","first-page":"115","DOI":"10.1016\/S0021-9800(70)80014-X","volume":"8","author":"G. Birkhoff","year":"1970","unstructured":"\u2329BIRG70\u232aBirkhoff, G., and Lipson, J.D., \"Heterogeneous Algebras,\" J. Combinatorial Theory, Vol. 8, No. 1 (1970), 115\u201333.","journal-title":"J. Combinatorial Theory"},{"key":"6_CR2","doi-asserted-by":"crossref","unstructured":"\u2329BROM79\u232aBroy, M., Dosch, W., Partsch, H., Pepper, P. and Wirsing, M., \"Existential Quantifiers in Abstract Data Types,\" Proc. 6th Internation Colloquium on Automata, Languages and Programming, Gratz, Austria (1979).","DOI":"10.1007\/3-540-09510-1_7"},{"key":"6_CR3","unstructured":"\u2329BURR77\u232aBurstall, R. and Goguen, J., \"Putting Theories Together to Make Specifications,\" Proc. Fifth International Joint Conference on Artificial Intelligence, (August 1977), 1045\u20131058."},{"key":"6_CR4","volume-title":"Universial Algebra","author":"P. M. Cohn","year":"1965","unstructured":"\u2329COHP65\u232aCohn, P.M., Universial Algebra, Harper and Row, New York, 1965."},{"key":"6_CR5","doi-asserted-by":"crossref","unstructured":"\u2329EHRH78a\u232aEhrig, H., Kreowski, H.-J. and Padawotz, P., \"Stepwise Specification and Implementation of Abstract Data Types,\" Proc. 5th ICALP, Udine, July 1978, Lecture Notes in Computer Science, Springer-Verlag (1978).","DOI":"10.1007\/3-540-08860-1_16"},{"key":"6_CR6","unstructured":"\u2329EHRH78b\u232aEhrig, H., Kreowski, H.-J. and Weber, H., \"Algebraic Specification Schemes for Data Base Systems,\" Proc of 4th International Conference on Very Large Data Bases, Berlin, Germany (September 1978), 427\u2013440."},{"key":"6_CR7","doi-asserted-by":"crossref","unstructured":"\u2329GOGJ74\u232aGoguen,J.A., Thatcher,J.W., Wagner,E.G., and Wright,J.B., \"Initial Algebra Semantics, 1974 IEEE Switching and Automata Theory Conf., New orleans, La. 1974.","DOI":"10.1109\/SWAT.1974.13"},{"key":"6_CR8","unstructured":"\u2329GOGJ75\u232aGoguen,J.A., Thatcher,J.W., Wagner,E.G., and Wright,J.B., \"Abstract Data Types as Initial Algebras and the Correctness of Data Representations, Proceedings of the conference on Computer Graphics, Pattern Recognition, and Data Structure, IEEE Catalog Number 75HO981-1C, 1975."},{"key":"6_CR9","unstructured":"\u2329GOGJ77\u232aGoguen, J.A., \"Abstract Errors for Abstract Data Types,\" Formal Description of Programming Concepts, (E. Neuhold, Ed.), North-Holland (1978), 491\u2013526."},{"key":"6_CR10","first-page":"80","volume-title":"Current Trends in Programming Methodology, Vol 4","author":"J. Goguen","year":"1978","unstructured":"\u2329GOGJ78\u232aGoguen, J., Thatcher, J. and Wagner, E., \"Abstract Data Types as Initial Algebras and the Correctness of Data Representations,\" Current Trends in Programming Methodology, Vol 4 (R. Yeh, Ed.), Prentice-Hall, Englewood Cliffs, NJ (1978), 80\u2013149."},{"key":"6_CR11","doi-asserted-by":"crossref","unstructured":"\u2329GOOJ75\u232aGoodenough,J., \"Structured Exception Handling,\" Conference Record 2nd ACM Symposium on Principles of Programming Languages, ACM, January, 1975.","DOI":"10.1145\/512976.512997"},{"key":"6_CR12","unstructured":"\u2329GUTJ74\u232aDonahue,J.E., Gannon,J.D., Guttag,J.V., and Horning,J.J., Three Approaches to Reliable Software: Language Design, Dyadic Specification, Complementary Semantics, Techniacal Report CSRG-45, Computer Systems Research Group, University of Toronto, Canada, December, 1974."},{"key":"6_CR13","volume-title":"The Specification and Application to Programming of Abstract Data Types","author":"J. V. Guttag","year":"1975","unstructured":"\u2329GUTJ75\u232aGuttag, J.V., \"The Specification and Application to Programming of Abstract Data Types,\" Computer Systems Research Group Technical Report CSRG-59, University of Toronto, Canada (September 1975)."},{"key":"6_CR14","doi-asserted-by":"crossref","unstructured":"\u2329GUTJ76\u232aGuttag, J.V., Horowitz, E. and Musser, D.R., \"The Design of Data Type Specifications,\" Proc. Second International Conference on Software Engineering, San Francisco, CA (October 1976), 414\u2013420.","DOI":"10.21236\/ADA034827"},{"key":"6_CR15","doi-asserted-by":"crossref","first-page":"1048","DOI":"10.1145\/359657.359666","volume":"21","author":"J. V. Guttag","year":"1978","unstructured":"\u2329GUTJ78a\u232aGuttag, J.V., Horowitz, E. and Musser, D.R., \"Abstract Data Types and Software Validation,\" CACM, Vol 21 (1978), 1048\u20131064.","journal-title":"CACM"},{"issue":"1","key":"6_CR16","doi-asserted-by":"publisher","first-page":"27","DOI":"10.1007\/BF00260922","volume":"10","author":"J. V. Guttag","year":"1978","unstructured":"\u2329GUTJ78b\u232aGuttag, J.V., and Horning, J.J., \"The Algebraic Specification of Abstract Data Types,\" Acta Informatica, Vol 10, No. 1 (1978), 27\u201352.","journal-title":"Acta Informatica"},{"key":"6_CR17","doi-asserted-by":"publisher","first-page":"271","DOI":"10.1007\/BF00289507","volume":"1","author":"C. A. R. R. Hoare","year":"1972","unstructured":"\u2329HOAC72a\u232aHoare, C.A.R., \"Proof of Correctness of Data Representations,\" Acta Informatica, Vol. 1 (1972), 271\u201381.","journal-title":"Acta Informatica"},{"key":"6_CR18","volume-title":"Notes on Structured Programing","author":"C. A. R. R. Hoare","year":"1972","unstructured":"\u2329HOAC72b\u232aHoare, C.A.R., Notes on Structured Programing, Structured Programming, A.P.I.C. Studies in Data Processing No. 8, Academic Press, New York, 1972."},{"key":"6_CR19","doi-asserted-by":"crossref","unstructured":"\u2329LEHD77\u232aLehmann, D.J. AND Smyth, M.B., \"Data Types,\" Proc. 18th IEEE Symposium on Foundations of Computing, Providence, RI (November 1977), 7\u201312.","DOI":"10.1109\/SFCS.1977.10"},{"issue":"1","key":"6_CR20","doi-asserted-by":"crossref","first-page":"7","DOI":"10.1109\/TSE.1975.6312816","volume":"SE-1","author":"B. Liskov","year":"1975","unstructured":"\u2329LISB75\u232aLiskov, B., and Zilles, S., \"Specification Techniques for Data Abstractions, IEEE Transactions on Software Engineering, Vol. SE-1, No. 1, (March 1975), 7\u201319.","journal-title":"IEEE Transactions on Software Engineering"},{"key":"6_CR21","volume-title":"The CLU Reference Manual","author":"B. Liskov","year":"1978","unstructured":"\u2329LISB78\u232aLiskov, B., Moss, E., Schaffert, C., Scheifler, R. and Snyder, A., The CLU Reference Manual, Laboratory for Computer Science, Massachusetts Institute of Technology, Cambridge, MA (July 1978)."},{"key":"6_CR22","unstructured":"\u2329LUCP70\u232aLucas, P., \"On the Semantics of Programming Languages and Software Devices,\" in Formal Semantics of Programming Languages, Courant Computer Science Symposium 2, Prentice Hall (1970), 52\u201357."},{"issue":"12","key":"6_CR23","first-page":"37","volume":"12","author":"M. E. Majster","year":"1977","unstructured":"\u2329MAJM77\u232aMajster, M.E., \"Limits of \u2018Algebraic\u2019 Specification of Abstract Data Types,\" SIGPLAN Notices, Vol 12, No. 12 (December 1977), 37\u201342.","journal-title":"SIGPLAN Notices"},{"issue":"4","key":"6_CR24","doi-asserted-by":"publisher","first-page":"184","DOI":"10.1145\/367177.367199","volume":"3","author":"McCarthy","year":"1960","unstructured":"\u2329MCCJ60\u232aMcCarthy, \"Recursive Functions of Symbolic Expressions and Their Computation by Machine, Part I,\" Comm ACM, Vol. 3, No. 4 (April 1960), 184\u201395.","journal-title":"Comm ACM"},{"key":"6_CR25","series-title":"Computer Science Dept. Report UCLA-ENG-7785","volume-title":"The Axiomatization of Data Base Conceptual Models by Abstract Data Types","author":"M. A. Melkanoff","year":"1978","unstructured":"\u2329MELM78\u232aMelkanoff, M.A., and Zamfir, M., \"The Axiomatization of Data Base Conceptual Models by Abstract Data Types,\" Computer Science Dept. Report UCLA-ENG-7785, UCLA, Los Angeles, CA (January 1978)."},{"key":"6_CR26","unstructured":"\u2329NAKR78\u232aNakajima, R., Honda, M., and Nakahara, M., \"Describing and Verifying Programs with Abstract Data Types,\" Formal Description of Programming Concepts (E. Neuhold, Ed.), North-Holland (1978), 527\u2013556."},{"key":"6_CR27","unstructured":"\u2329THAJ76\u232aThatcher, J.W., Wagner, E.G. and Wright, J.B., \"Specifications of Abstract Data Types Using Conditional Axioms,\" IBM Research Report RC-6214, Yorktown Heights, NY (September 1976)."},{"key":"6_CR28","doi-asserted-by":"crossref","unstructured":"\u2329THAJ78\u232aThatcher, J.W., Wagner, E.G. and Wright, J.B., \"Data Type Specification: Parameterization and the Power of Specification Techniques,\" in Proc. Tenth Annual ACM Symposium on Theory of Computing, ACM, New York (May 1978), 119\u2013132.","DOI":"10.1145\/800133.804340"},{"key":"6_CR29","doi-asserted-by":"publisher","first-page":"27","DOI":"10.1016\/0022-0000(79)90011-4","volume":"19","author":"M. Wand","year":"1979","unstructured":"\u2329WANM79\u232aWand, M., \"Final Algebra Semantics and Data Type Extensions,\" Journal of Computer and System Sciences, Vol 19 (1979), 27\u201344.","journal-title":"Journal of Computer and System Sciences"},{"key":"6_CR30","doi-asserted-by":"publisher","first-page":"35","DOI":"10.1007\/BF00264291","volume":"1","author":"N. Wirth","year":"1971","unstructured":"\u2329WIRN71\u232aWirth, N., \"The Programming Language PASCAL,\" Acta Informatica, Vol. 1 (1971), 35\u201363.","journal-title":"Acta Informatica"},{"key":"6_CR31","series-title":"Project MAC Progress Report","volume-title":"Algebraic Specifications of Data Types","author":"S. N. Zilles","year":"1974","unstructured":"\u2329ZILS74\u232aZilles, S.N., \"Algebraic Specifications of Data Types,\" Project MAC Progress Report 11, Massachusetts Institute of Technology, Cambridge, MA, 1974, 52\u201358."}],"container-title":["Lecture Notes in Computer Science","Abstract Software Specifications"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-10007-5_39","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,19]],"date-time":"2019-05-19T12:11:41Z","timestamp":1558267901000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-10007-5_39"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1980]]},"ISBN":["9783540100072","9783540381365"],"references-count":31,"URL":"https:\/\/doi.org\/10.1007\/3-540-10007-5_39","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":"28 May 2005","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}