{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T22:53:43Z","timestamp":1725663223469},"publisher-location":"Berlin, Heidelberg","reference-count":3,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540156482"},{"type":"electronic","value":"9783540395270"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1985]]},"DOI":"10.1007\/3-540-15648-8_20","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T18:20:36Z","timestamp":1330194036000},"page":"255-255","source":"Crossref","is-referenced-by-count":43,"title":["Equational logic as a programming language: Abstract"],"prefix":"10.1007","author":[{"given":"Michael J.","family":"O'Donnell","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,5,31]]},"reference":[{"issue":"1","key":"20_CR1","doi-asserted-by":"crossref","first-page":"83","DOI":"10.1145\/357153.357158","volume":"4","author":"C. M. Hoffmann","year":"1982","unstructured":"Hoffmann, C. M., and O'Donnell, M. J., Programming with Equations, ACM Transactions on Programming Languages and Systems, 4:1, January 1982, pp. 83\u2013112.","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"20_CR2","doi-asserted-by":"crossref","unstructured":"Hoffmann, C. M., and O'Donnell, M. J., Implementation of an Interpreter for Abstract Equations 10th Annual Symposium on Principles of Programming Languages, 1984, pp. 111\u2013120. Revised version, with R. Strandh, to appear in Software Practice and Experience.","DOI":"10.1145\/800017.800522"},{"key":"20_CR3","volume-title":"Equational Logic as a Programming Language","author":"M. J. O'Donnell","year":"1985","unstructured":"O'Donnell, M. J., Equational Logic as a Programming Language, MIT Press, Cambridge, Massachusetts, 1985."}],"container-title":["Lecture Notes in Computer Science","Logics of Programs"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-15648-8_20.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,12,31]],"date-time":"2021-12-31T01:34:47Z","timestamp":1640914487000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-15648-8_20"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1985]]},"ISBN":["9783540156482","9783540395270"],"references-count":3,"URL":"https:\/\/doi.org\/10.1007\/3-540-15648-8_20","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1985]]}}}