{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,27]],"date-time":"2025-03-27T15:49:26Z","timestamp":1743090566467,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":22,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540092513"},{"type":"electronic","value":"9783540353126"}],"license":[{"start":{"date-parts":[[1979,1,1]],"date-time":"1979-01-01T00:00:00Z","timestamp":283996800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[1979,1,1]],"date-time":"1979-01-01T00:00:00Z","timestamp":283996800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1979]]},"DOI":"10.1007\/bfb0014684","type":"book-chapter","created":{"date-parts":[[2005,11,23]],"date-time":"2005-11-23T05:25:49Z","timestamp":1132723549000},"page":"593-616","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":11,"title":["Notes on type abstraction"],"prefix":"10.1007","author":[{"given":"John","family":"Guttag","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,9]]},"reference":[{"key":"35_CR1","volume-title":"The SIMULA 67 Common Base Language","author":"O.J. Dahl","year":"1968","unstructured":"Dahl, O.J., Nygaard, K., and Myhrhuag, B., \"The SIMULA 67 Common Base Language,\" Norwegian Computing Centre, Forskningsveien 1B, Oslo (1968)."},{"key":"35_CR2","volume-title":"Can Program Proving Be Made Practical?","author":"O.J. Dahl","year":"1978","unstructured":"Dahl, O.J., \"Can Program Proving Be Made Practical?\" Institute of Informatics, University of Oslo, Norway, (1978)."},{"key":"35_CR3","unstructured":"Dijkstra, E.W., A Discipline of Programming, Prentice-Hall, (1976)."},{"key":"35_CR4","unstructured":"Donahue, J.E., \"Complementary Definitions of Programming Language Semantics,\" Lecture Notes in Computer Science, vol. 42, Springer-Verlag, (1976)."},{"key":"35_CR5","unstructured":"Gannon, J.D., Language Design to Enhance Programming Reliability, Ph. D. Thesis, University of Toronto, Department of Computer Science (1975), available as Computer Systems Research Group Technical Report CSRG-47."},{"key":"35_CR6","unstructured":"Goguen, J.A., Thatcher, J.W., Wagner, E.G., and Wright, J.B., \"Abstract Data-Types as Initial Algebras and Correctness of Data Representations,\" Proceedings, Conference on Computer Graphics, Pattern Recognition and Data Structure, (May 1975)."},{"key":"35_CR7","unstructured":"Guttag, J.V., The Specification and Application to Programming of Abstract Data Types, Ph.D. Thesis, University of Toronto, Department of Computer Science (1975), available as Computer Systems Research Group Technical Report CSRG-59."},{"key":"35_CR8","doi-asserted-by":"crossref","unstructured":"Guttag, J.V., Horowitz, E., and Musser, D.R., \"Abstract Data Types and Software Validation,\" USC Information Sciences Institute Technical Report, (1976).","DOI":"10.21236\/ADA029896"},{"issue":"6","key":"35_CR9","doi-asserted-by":"publisher","first-page":"396","DOI":"10.1145\/359605.359618","volume":"20","author":"J.V. Guttag","year":"1977","unstructured":"Guttag, J.V., \"Abstract Data Types and the Development of Data Structures,\" Communications of the CACM, vol. 20, no. 6 (June 1977), pp. 396\u2013404.","journal-title":"Communications of the CACM"},{"issue":"1","key":"35_CR10","doi-asserted-by":"publisher","first-page":"27","DOI":"10.1007\/BF00260922","volume":"10","author":"J.V. Guttag","year":"1978","unstructured":"Guttag, J.V., and Horning, J.J., \"The Algebraic Specification of Abstract Data Types,\" Acta Informatica, 10, 1, pp. 27\u201352 (1978).","journal-title":"Acta Informatica"},{"issue":"10","key":"35_CR11","doi-asserted-by":"publisher","first-page":"576","DOI":"10.1145\/363235.363259","volume":"12","author":"C.A.R. Hoare","year":"1969","unstructured":"Hoare, C.A.R., \"An Axiomatic Basis for Computer Programming,\" CACM, vol. 12, no. 10 (October 1969), pp. 576\u2013580.","journal-title":"CACM"},{"issue":"1","key":"35_CR12","doi-asserted-by":"publisher","first-page":"271","DOI":"10.1007\/BF00289507","volume":"1","author":"C.A.R. Hoare","year":"1972","unstructured":"Hoare, C.A.R., \"Proofs of Correctness of Data Representations,\" Acta Informatica, vol. 1, no. 1 (1972), pp. 271\u2013281.","journal-title":"Acta Informatica"},{"key":"35_CR13","doi-asserted-by":"crossref","unstructured":"Knuth, D.E., and Bendix, P.B., \"Simple Word Problems in Universal Algebras,\" Computational Problems in Abstract Algebras, J. Leech, Ed., Pergamon Press, (1970), pp. 263\u2013297.","DOI":"10.1016\/B978-0-08-012975-4.50028-X"},{"key":"35_CR14","doi-asserted-by":"crossref","unstructured":"Lampson, B.W., Horning, J.J., London, R.L., MItchell, J.G., Popek, G.J., \"Revised Report on the Programming Language Euclid,\" Xerox Research Center, to appear. An earlier version appeared in SIGPLAN Notices 12, 2 (February 1977).","DOI":"10.1145\/954666.971189"},{"issue":"1","key":"35_CR15","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/BF00260921","volume":"10","author":"R.L. London","year":"1978","unstructured":"London, R.L., Guttag, J.V., Horning, J.J., Lampson, B.W., Mitchell, J.G., and Popek, G.J., \"Proof Rules for the Programming Language Euclid,\" Acta Informatica, 10, 1, pp. 1\u201326 (1978).","journal-title":"Acta Informatica"},{"key":"35_CR16","doi-asserted-by":"crossref","unstructured":"Morris, J.H., \"Types are not Sets,\" ACM Symposium on the Principles of Programming Languages, (October 1973), pp. 120\u2013124.","DOI":"10.1145\/512927.512938"},{"issue":"5","key":"35_CR17","doi-asserted-by":"publisher","first-page":"330","DOI":"10.1145\/355602.361309","volume":"15","author":"D.L. Parnas","year":"1972","unstructured":"Parnas, D.L., \"A Technique for the Specification of Software Modules with Examples,\" CACM, vol. 15, no. 5 (May 1972), pp. 330\u2013336.","journal-title":"CACM"},{"key":"35_CR18","unstructured":"Scott, D., \"Outline of a Mathematical Theory of Computation,\" Proceedings of the Fourth Annual Princeton Conference on Information Science and Systems, (1970), pp. 169\u2013176."},{"key":"35_CR19","doi-asserted-by":"publisher","first-page":"127","DOI":"10.1007\/BF00288745","volume":"4","author":"J. Spitzen","year":"1975","unstructured":"Spitzen, J., and Wegbreit, B., \"The Verification and Synthesis of Data Structures,\" Acta Informatica, vol. 4, (1975), pp. 127\u2013144.","journal-title":"Acta Informatica"},{"key":"35_CR20","doi-asserted-by":"crossref","unstructured":"Thatcher, J.W, Wagner, E.G., and Wright, J.B., \"Data Type Specification: Parameterization and the Power of Specification Techniques,\" Proceedings SIGACT Tenth Annual Symposium on Theory of Computing, (May 1978).","DOI":"10.1145\/800133.804340"},{"issue":"4","key":"35_CR21","doi-asserted-by":"publisher","first-page":"253","DOI":"10.1109\/TSE.1976.233830","volume":"SE-2","author":"W.A. Wulf","year":"1976","unstructured":"Wulf, W.A., London, R.L., and Shaw, M., \"An Introduction to the the Construction and Verification of Alphard Programs,\" IEEE Transactions on Software Engineering, SE-2, 4, (December 1976), pp. 253\u2013265.","journal-title":"IEEE Transactions on Software Engineering"},{"key":"35_CR22","volume-title":"Abstract Specifications for Data Types","author":"S.N. Zilles","year":"1975","unstructured":"Zilles, S.N., \"Abstract Specifications for Data Types,\" IBM Research Laboratory, San Jose, California, (1975)."}],"container-title":["Lecture Notes in Computer Science","Program Construction"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0014684","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,8,19]],"date-time":"2022-08-19T05:07:08Z","timestamp":1660885628000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/BFb0014684"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1979]]},"ISBN":["9783540092513","9783540353126"],"references-count":22,"URL":"https:\/\/doi.org\/10.1007\/bfb0014684","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1979]]},"assertion":[{"value":"9 June 2005","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}