{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,8,20]],"date-time":"2026-08-20T15:23:59Z","timestamp":1787239439475,"version":"build-2736575974"},"reference-count":3,"publisher":"Society for Industrial & Applied Mathematics (SIAM)","issue":"1","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["SIAM Rev."],"published-print":{"date-parts":[[1994,3]]},"DOI":"10.1137\/1036034","type":"journal-article","created":{"date-parts":[[2005,3,7]],"date-time":"2005-03-07T02:33:46Z","timestamp":1110162826000},"page":"131-133","source":"Crossref","is-referenced-by-count":0,"title":["Programs, Recursion and Unbounded Choice (Wim H. Hesselink)"],"prefix":"10.1137","volume":"36","author":[{"given":"Gary T.","family":"Leavens","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"351","published-online":{"date-parts":[[2012,2,17]]},"reference":[{"key":"R1","doi-asserted-by":"publisher","DOI":"10.1016\/B978-0-444-88074-1.50016-0"},{"key":"R2","volume-title":"The Semantics of Programming Languages: an Elementary Introduction Using Structural Operational Semantics","author":"Hennessy M.","year":"1990"},{"key":"R3","volume-title":"Mathematical theory of program correctness","author":"de Bakker Jaco","year":"1980"}],"container-title":["SIAM Review"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/epubs.siam.org\/doi\/pdf\/10.1137\/1036034","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,8,20]],"date-time":"2026-08-20T14:27:01Z","timestamp":1787236021000},"score":1,"resource":{"primary":{"URL":"https:\/\/epubs.siam.org\/doi\/10.1137\/1036034"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1994,3]]},"references-count":3,"journal-issue":{"issue":"1","published-print":{"date-parts":[[1994,3]]}},"alternative-id":["10.1137\/1036034"],"URL":"https:\/\/doi.org\/10.1137\/1036034","relation":{},"ISSN":["0036-1445","1095-7200"],"issn-type":[{"value":"0036-1445","type":"print"},{"value":"1095-7200","type":"electronic"}],"subject":[],"published":{"date-parts":[[1994,3]]}}}