TY  - DATA
AU  - Krzysztof R. Apt-Tony Hoare
TI  - Edsger Wybe Dijkstra
T2  - ACM Books
SN  - 9781450397711
PB  - ACM Books
KW  - Computer programming
KW  - COMPUTERS ; Programming ; General
UR  - https://search.ebscohost.com/login.aspx?direct=true&db=e000xww&site=ehost-live&scope=site&AN=3766580
ER  -