{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,3,31]],"date-time":"2022-03-31T13:06:14Z","timestamp":1648731974430},"reference-count":4,"publisher":"Springer Science and Business Media LLC","issue":"1-2","license":[{"start":{"date-parts":[[1972,3,1]],"date-time":"1972-03-01T00:00:00Z","timestamp":68256000000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Math. Systems Theory"],"published-print":{"date-parts":[[1972,3]]},"DOI":"10.1007\/bf01706078","type":"journal-article","created":{"date-parts":[[2005,6,21]],"date-time":"2005-06-21T09:20:54Z","timestamp":1119345654000},"page":"86-89","source":"Crossref","is-referenced-by-count":3,"title":["On the definition of the variables used and set by a computation"],"prefix":"10.1007","volume":"6","author":[{"given":"W. D.","family":"Maurer","sequence":"first","affiliation":[]}],"member":"297","reference":[{"key":"BF01706078_CR1","doi-asserted-by":"crossref","first-page":"365","DOI":"10.1145\/321239.321240","volume":"11","author":"C. C. Elgot","year":"1964","unstructured":"C. C. Elgot andAbraham Robinson, Random access stored program computers\u2014an approach to programming languages,J. Assoc. Comput. Mach. 11 (1964), 365\u2013399.","journal-title":"J. Assoc. Comput. Mach."},{"key":"BF01706078_CR2","doi-asserted-by":"crossref","first-page":"226","DOI":"10.1145\/321328.321334","volume":"13","author":"W. D. Maurer","year":"1966","unstructured":"W. D. Maurer, A theory of computer instructions,J. Assoc. Comput. Mach. 13 (1966), 226\u2013235.","journal-title":"J. Assoc. Comput. Mach."},{"key":"BF01706078_CR3","volume-title":"Algorithm Verification, Memorandum ERL-M290, Electronics Research Laboratory","author":"W. D. Maurer","year":"1971","unstructured":"W. D. Maurer,Algorithm Verification, Memorandum ERL-M290, Electronics Research Laboratory, University of California, Berkeley, January 1971."},{"key":"BF01706078_CR4","first-page":"21","volume-title":"Information Processing 1962,Proceedings of IFIP Congress 62","author":"J. McCarthy","year":"1963","unstructured":"J. McCarthy, Towards a mathematical science of computation,Information Processing 1962,Proceedings of IFIP Congress 62, (C. M. Popplewell, ed.), pp. 21\u201328, North-Holland, Amsterdam, 1963."}],"container-title":["Mathematical Systems Theory"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF01706078.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF01706078\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF01706078","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,8]],"date-time":"2019-05-08T12:32:17Z","timestamp":1557318737000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BF01706078"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1972,3]]},"references-count":4,"journal-issue":{"issue":"1-2","published-print":{"date-parts":[[1972,3]]}},"alternative-id":["BF01706078"],"URL":"https:\/\/doi.org\/10.1007\/bf01706078","relation":{},"ISSN":["0025-5661","1433-0490"],"issn-type":[{"value":"0025-5661","type":"print"},{"value":"1433-0490","type":"electronic"}],"subject":[],"published":{"date-parts":[[1972,3]]}}}