{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,3,31]],"date-time":"2022-03-31T21:37:38Z","timestamp":1648762658857},"reference-count":4,"publisher":"Springer Science and Business Media LLC","issue":"4","license":[{"start":{"date-parts":[[2009,12,1]],"date-time":"2009-12-01T00:00:00Z","timestamp":1259625600000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Higher-Order Symb Comput"],"published-print":{"date-parts":[[2009,12]]},"DOI":"10.1007\/s10990-010-9054-8","type":"journal-article","created":{"date-parts":[[2010,2,4]],"date-time":"2010-02-04T09:20:06Z","timestamp":1265275206000},"page":"299-303","source":"Crossref","is-referenced-by-count":0,"title":["Personal recollections of Peter Landin: 1987\u20132009"],"prefix":"10.1007","volume":"22","author":[{"given":"Paul P.","family":"Boca","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2010,2,5]]},"reference":[{"key":"9054_CR1","volume-title":"Formal Methods: State of the Art and New Directions","year":"2010","unstructured":"Boca, P.P., Bowen, J.P., Siddiqi, J.I. (eds.): Formal Methods: State of the Art and New Directions. Springer, Berlin (2010)"},{"key":"9054_CR2","volume-title":"Programming from First Principles","author":"R. Bornat","year":"1987","unstructured":"Bornat, R.: Programming from First Principles. Prentice Hall, New York (1987)"},{"key":"9054_CR3","doi-asserted-by":"crossref","unstructured":"Bornat, R.: Peter Landin obituary. Computer scientist whose ideas underpin modern software. Guardian online, Tuesday 22 September 2009. http:\/\/www.guardian.co.uk\/technology\/2009\/sep\/22\/peter-landin-obituary","DOI":"10.1007\/s10990-010-9053-9"},{"issue":"3","key":"9054_CR4","doi-asserted-by":"crossref","first-page":"157","DOI":"10.1145\/365230.365257","volume":"9","author":"P.J. Landin","year":"1966","unstructured":"Landin, P.J.: The next 700 programming languages. CACM 9(3), 157\u2013165 (1966)","journal-title":"CACM"}],"container-title":["Higher-Order and Symbolic Computation"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10990-010-9054-8.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10990-010-9054-8\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10990-010-9054-8","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,1]],"date-time":"2019-06-01T01:29:41Z","timestamp":1559352581000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10990-010-9054-8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009,12]]},"references-count":4,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2009,12]]}},"alternative-id":["9054"],"URL":"https:\/\/doi.org\/10.1007\/s10990-010-9054-8","relation":{},"ISSN":["1388-3690","1573-0557"],"issn-type":[{"value":"1388-3690","type":"print"},{"value":"1573-0557","type":"electronic"}],"subject":[],"published":{"date-parts":[[2009,12]]}}}