{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,27]],"date-time":"2025-10-27T20:28:10Z","timestamp":1761596890856},"reference-count":23,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[1975,6,1]],"date-time":"1975-06-01T00:00:00Z","timestamp":170812800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["International Journal of Computer and Information Sciences"],"published-print":{"date-parts":[[1975,6]]},"DOI":"10.1007\/bf00976239","type":"journal-article","created":{"date-parts":[[2005,1,14]],"date-time":"2005-01-14T09:26:18Z","timestamp":1105694778000},"page":"105-132","source":"Crossref","is-referenced-by-count":75,"title":["Recursive data structures"],"prefix":"10.1007","volume":"4","author":[{"given":"C. A. R.","family":"Hoare","sequence":"first","affiliation":[]}],"member":"297","reference":[{"key":"CR1","doi-asserted-by":"crossref","first-page":"79","DOI":"10.1007\/BF02163002","volume":"14","author":"A. Wijngaarden van","year":"1969","unstructured":"A. van Wijngaarden, ed., ?Report on the algorithmic language ALGOL 68,?Num. Math. 14:79?218 (1969).","journal-title":"Num. Math."},{"key":"CR2","unstructured":"?PL\/I Language Specifications,? IBM Order Number GY33-6003-2."},{"key":"CR3","doi-asserted-by":"crossref","unstructured":"P. Naur, ed., ?Report on the algorithmic language ALGOL 60,?Num. Math. 1960:106?136.","DOI":"10.1007\/BF01386216"},{"issue":"June","key":"CR4","first-page":"6","volume":"9","author":"N. Wirth","year":"1966","unstructured":"N. Wirth and C. A. R. Hoare, ?A contribution to the development of ALGOL,?Comm. ACM 9 (June):6 (1966).","journal-title":"Comm. ACM"},{"issue":"1","key":"CR5","doi-asserted-by":"crossref","first-page":"35","DOI":"10.1007\/BF00264291","volume":"1","author":"N. Wirth","year":"1971","unstructured":"N. Wirth, ?The programming language PASCAL,?Acta Informatica 1(1):35?63 (1971).","journal-title":"Acta Informatica"},{"key":"CR6","unstructured":"D. E. Knuth, ?A review of structured programming,? CS-73-371, Department of Computer Science, Stanford University (June 1973)."},{"key":"CR7","volume-title":"Computer Programming and Formal Systems","author":"J. McCarthy","year":"1963","unstructured":"J. McCarthy, ?A basis for a mathematical theory of computation,? in Braffort and Hirschberg, eds.,Computer Programming and Formal Systems (North-Holland, Amsterdam, 1963)."},{"key":"CR8","unstructured":"F. V. McBride, D. J. T. Morrison, and R. M. Pengelby, ?A symbol manipulation system,? inMachine Intelligence 5 (Edinburgh University Press, 1970)."},{"key":"CR9","unstructured":"D. B. Anderson, Private Communication."},{"issue":"4","key":"CR10","doi-asserted-by":"crossref","first-page":"184","DOI":"10.1145\/367177.367199","volume":"3","author":"J. McCarthy","year":"1960","unstructured":"J. McCarthy, ?Recursive functions of symbolic expressions and their computation by machine,?Comm. ACM 3(4):184?195 (1960).","journal-title":"Comm. ACM"},{"key":"CR11","doi-asserted-by":"crossref","unstructured":"D. T. Ross, ?A generalized technique for symbol manipulation and numerical calculation,?Comm. ACM (March 1961).","DOI":"10.1145\/366199.366256"},{"key":"CR12","doi-asserted-by":"crossref","first-page":"271","DOI":"10.1007\/BF00289507","volume":"1","author":"C. A. R. Hoare","year":"1972","unstructured":"C. A. R. Hoare, ?Proof of correctness of data representations,?Acta Informatica 1:271?281 (1972).","journal-title":"Acta Informatica"},{"key":"CR13","unstructured":"D. Michie, ?Memo functions: a language feature with rote learning properties,? DMIP Memorandum MIP-R-29 (November 1967)."},{"key":"CR14","doi-asserted-by":"crossref","unstructured":"R. Waldinger and K. N. Levitt, ?Reasoning about programs,? inProceedings of ACM Sigact\/Sigplan Symposium on Principles of Programming Language Design (Boston, 1973).","DOI":"10.1145\/512927.512943"},{"key":"CR15","unstructured":"J. Darlington and R. M. Burstall, ?A system which automatically improves programs,? inProceedings of Third International Conference on Artificial Intelligence (Stanford, California, 1973), pp. 479?485."},{"key":"CR16","first-page":"1","volume-title":"Structured Programming","author":"E. W. Dijkstra","year":"1972","unstructured":"E. W. Dijkstra, ?Notes on structured programming,? inStructured Programming (Academic Press, New York, 1972), pp. 1?82."},{"key":"CR17","volume-title":"SIMULABEGIN","author":"G. M. Birthwhistle","year":"1973","unstructured":"G. M. Birthwhistle, O. J. Dahl, B. Myhrhang, and K. Nygaard, SIMULABEGIN (Student Literatur, Auerbach, 1973)."},{"key":"CR18","unstructured":"S. C. Kleene,Introduction to Metamathematics (Van Nostrand, 1952)."},{"key":"CR19","unstructured":"C. A. R. Hoare, A Note on Indirect Addressing, ALGOL Bulletin (June 1966)."},{"key":"CR20","volume-title":"Universal Algebra","author":"P. M. Cohn","year":"1965","unstructured":"P. M. Cohn,Universal Algebra (Harper and Row, New York, 1965)."},{"issue":"1","key":"CR21","doi-asserted-by":"crossref","first-page":"41","DOI":"10.1093\/comjnl\/12.1.41","volume":"12","author":"R. M. Burstall","year":"1969","unstructured":"R. M. Burstall, ?Proving programs by structural induction,?Comp. J. 12(1):41?48 (1969).","journal-title":"Comp. J."},{"key":"CR22","doi-asserted-by":"crossref","unstructured":"D. S. Scott, ?The lattice of flow diagrams,? in E. Engeler, ed.,Symposium on Semantics of Algorithmic Languages (Springer Verlag, 1971).","DOI":"10.1007\/BFb0059703"},{"key":"CR23","first-page":"291","volume-title":"Programming Languages","author":"C. A. R. Hoare","year":"1968","unstructured":"C. A. R. Hoare, ?Record handling,? in F. Genuys, ed.,Programming Languages (Academic Press, New York, 1968), pp. 291?347."}],"container-title":["International Journal of Computer & Information Sciences"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF00976239.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF00976239\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF00976239","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,5]],"date-time":"2020-04-05T09:36:10Z","timestamp":1586079370000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BF00976239"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1975,6]]},"references-count":23,"journal-issue":{"issue":"2","published-print":{"date-parts":[[1975,6]]}},"alternative-id":["BF00976239"],"URL":"https:\/\/doi.org\/10.1007\/bf00976239","relation":{},"ISSN":["0091-7036","1573-7640"],"issn-type":[{"value":"0091-7036","type":"print"},{"value":"1573-7640","type":"electronic"}],"subject":[],"published":{"date-parts":[[1975,6]]}}}