{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"institution":[{"name":"The University of Queensland","department":["School of Computer Science and Electrical Engineering"]}],"indexed":{"date-parts":[[2024,3,3]],"date-time":"2024-03-03T01:54:51Z","timestamp":1709430891638},"reference-count":0,"publisher":"University of Queensland Library","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.14264\/149b02d","type":"dissertation","created":{"date-parts":[[2022,8,11]],"date-time":"2022-08-11T07:17:22Z","timestamp":1660202242000},"approved":{"date-parts":[[1997,1,1]]},"source":"Crossref","is-referenced-by-count":0,"title":["Module refinement refined (for the calculation of Oberon programs)"],"prefix":"10.14264","author":[{"sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Peter George","family":"Bancroft","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"5387","container-title":[],"original-title":[],"deposited":{"date-parts":[[2022,8,11]],"date-time":"2022-08-11T07:18:48Z","timestamp":1660202328000},"score":1,"degree":["PhD Thesis"],"resource":{"primary":{"URL":"https:\/\/espace.library.uq.edu.au\/view\/UQ:149b02d"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"references-count":0,"URL":"https:\/\/doi.org\/10.14264\/149b02d","relation":{},"subject":[]}}