TY  - BOOK
AU  - "Edsger W. Dijkstra"," W. H. J. Feijen; translated by Joke Sterringa"," W. H. J. Feijen; translated by Joke Sterringa"
TI  - A method of programming
SN  - 0201175363
U1  - 510 
PY  - 1988///
CY  - Great Britain
PB  - Wokingham, England ; Addison-Wesley, c1988.
ER  -