{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,9,4]],"date-time":"2023-09-04T21:56:41Z","timestamp":1693864601780},"reference-count":7,"publisher":"Informa UK Limited","issue":"1","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Computer Science Education"],"published-print":{"date-parts":[[1991,1]]},"DOI":"10.1080\/0899340910020106","type":"journal-article","created":{"date-parts":[[2007,6,25]],"date-time":"2007-06-25T08:37:04Z","timestamp":1182760624000},"page":"81-89","source":"Crossref","is-referenced-by-count":2,"title":["A Correctness Proof for Binary Search"],"prefix":"10.1080","volume":"2","author":[{"given":"Patricia T.","family":"Montague","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"301","reference":[{"key":"CIT0001","volume-title":"Programming Concepts, A Second Course (with Examples in Pascal)","author":"Jones W. B.","year":"1982"},{"key":"CIT0002","volume-title":"The Art of Computer Programming, Vol. 3, Sorting and Searching","author":"Knuth D. E.","year":"1973"},{"key":"CIT0003","volume-title":"Programming with Data Structures\/Pascal Version","author":"Kruse R. L.","year":"1989"},{"key":"CIT0004","doi-asserted-by":"publisher","DOI":"10.1145\/52965.53012"},{"key":"CIT0005","volume-title":"Data Structures in Pascal","author":"Reingold E. M.","year":"1986"},{"key":"CIT0006","volume-title":"PascAlgorithms: An Introduction to Programming","author":"Reingold E. M.","year":"1988"},{"key":"CIT0007","volume-title":"Algorithms and Data Structures","author":"Wirth N.","year":"1986"}],"container-title":["Computer Science Education"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/www.tandfonline.com\/doi\/pdf\/10.1080\/0899340910020106","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2016,12,12]],"date-time":"2016-12-12T18:50:44Z","timestamp":1481568644000},"score":1,"resource":{"primary":{"URL":"http:\/\/www.tandfonline.com\/doi\/abs\/10.1080\/0899340910020106"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1991,1]]},"references-count":7,"journal-issue":{"issue":"1","published-print":{"date-parts":[[1991,1]]}},"alternative-id":["10.1080\/0899340910020106"],"URL":"https:\/\/doi.org\/10.1080\/0899340910020106","relation":{},"ISSN":["0899-3408","1744-5175"],"issn-type":[{"value":"0899-3408","type":"print"},{"value":"1744-5175","type":"electronic"}],"subject":[],"published":{"date-parts":[[1991,1]]}}}