TY  - BOOK
AU  - Dijkstra, Edsger W. [Ed.]
TI  - Formal development of programs and proofs
SN  - 0201172372
U1  - 001.642 
PY  - 1990///
CY  - Reading, Massachusetts
PB  - Addison-Wesley
KW  - Electronic Digital Computers -- Programming
KW  - Computer Programs
ER  -