{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,4,3]],"date-time":"2022-04-03T09:46:59Z","timestamp":1648979219178},"reference-count":12,"publisher":"Informa UK Limited","issue":"1","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Computer Science Education"],"published-print":{"date-parts":[[1994,1]]},"DOI":"10.1080\/0899340940050108","type":"journal-article","created":{"date-parts":[[2007,6,25]],"date-time":"2007-06-25T12:37:20Z","timestamp":1182775040000},"page":"111-122","source":"Crossref","is-referenced-by-count":0,"title":["Dysfunctional Programming: Teaching Programming Using Formal Methods to Noncomputer Science Majors"],"prefix":"10.1080","volume":"5","author":[{"given":"Michael","family":"Barnett","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Phillip","family":"Windley","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"301","published-online":{"date-parts":[[2006,7,9]]},"reference":[{"issue":"12","key":"CIT0001","doi-asserted-by":"crossref","first-page":"1397","DOI":"10.1145\/76380.76381","volume":"32","author":"Dijkstra E. W.","year":"1989","journal-title":"Comm. ACM"},{"key":"CIT0002","first-page":"229","volume-title":"Formal Development of Programs and Proofs","author":"Gries D.","year":"1990"},{"key":"CIT0003","doi-asserted-by":"crossref","first-page":"45","DOI":"10.1145\/102868.102870","volume":"34","author":"Gries D.","year":"1991","journal-title":"Comm. ACM"},{"key":"CIT0004","volume-title":"\u201cComputing Curricula 1991: Report of the ACM\/IEEE\u2010CS Joint Curriculum Task Force\u201d","author":"Tucker A. B.","year":"1990"},{"key":"CIT0005","volume-title":"The Programming Process: An Introduction using VDM and Pascal","author":"Latham J. T.","year":"1990"},{"key":"CIT0006","volume-title":"Systematic Software Development Using VDM,","author":"Jones C. B.","year":"1990","edition":"2"},{"key":"CIT0007","volume-title":"Designing Pascal Solutions: A Case Study Approach","author":"Clancy M. J.","year":"1992"},{"key":"CIT0008","volume-title":"Introduction to Functional Programming","author":"Bird R.","year":"1988"},{"key":"CIT0009","first-page":"17","volume-title":"Research Topics in Functional Programming","author":"Hughes J.","year":"1990"},{"issue":"2","key":"CIT0010","doi-asserted-by":"crossref","first-page":"241","DOI":"10.1109\/TSE.1986.6312939","volume":"12","author":"Henderson P.","year":"1986","journal-title":"IEEE Trans. Software Engineering"},{"key":"CIT0011","first-page":"29","volume-title":"Mathematical Logic and Programming Languages","author":"Turner D. A.","year":"1985"},{"key":"CIT0012","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4613-9706-9","volume-title":"Programming in the 1990s: An Introduction to the Calculation of Programs","author":"Cohen E.","year":"1990"}],"container-title":["Computer Science Education"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/www.tandfonline.com\/doi\/pdf\/10.1080\/0899340940050108","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,17]],"date-time":"2017-06-17T19:09:24Z","timestamp":1497726564000},"score":1,"resource":{"primary":{"URL":"http:\/\/www.tandfonline.com\/doi\/abs\/10.1080\/0899340940050108"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1994,1]]},"references-count":12,"journal-issue":{"issue":"1","published-online":{"date-parts":[[2006,7,9]]},"published-print":{"date-parts":[[1994,1]]}},"alternative-id":["10.1080\/0899340940050108"],"URL":"https:\/\/doi.org\/10.1080\/0899340940050108","relation":{},"ISSN":["0899-3408","1744-5175"],"issn-type":[{"value":"0899-3408","type":"print"},{"value":"1744-5175","type":"electronic"}],"subject":[],"published":{"date-parts":[[1994,1]]}}}