{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,5,18]],"date-time":"2024-05-18T01:01:46Z","timestamp":1715994106729},"reference-count":0,"publisher":"WORLD SCIENTIFIC","isbn-type":[{"value":"9789971978532","type":"print"},{"value":"9789814307789","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1986,1]]},"DOI":"10.1142\/0166","type":"monograph","created":{"date-parts":[[2012,7,18]],"date-time":"2012-07-18T16:08:42Z","timestamp":1342627722000},"source":"Crossref","is-referenced-by-count":0,"title":["Computer-Aided Specification Techniques"],"prefix":"10.1142","author":[{"given":"J","family":"Demetrovics","sequence":"first","affiliation":[{"name":"Hungary"}]},{"given":"E","family":"Knuth","sequence":"additional","affiliation":[{"name":"Hungary"}]},{"given":"P","family":"Rad\u00f3","sequence":"additional","affiliation":[{"name":"Hungary"}]}],"member":"219","published-online":{"date-parts":[[2011,11,20]]},"container-title":[],"original-title":[],"language":"en","deposited":{"date-parts":[[2024,4,16]],"date-time":"2024-04-16T20:07:43Z","timestamp":1713298063000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.worldscientific.com\/worldscibooks\/10.1142\/0166"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1986,1]]},"ISBN":["9789971978532","9789814307789"],"references-count":0,"alternative-id":["10.1142\/0166"],"URL":"https:\/\/doi.org\/10.1142\/0166","relation":{},"subject":[],"published":{"date-parts":[[1986,1]]}}}