TY  - BOOK
AU  - Snepscheut J L A
ED  - Conference on Mathematics of Program Construction( 1989 : Netherlands )
ED  - Conference on Mathematics of Program Construction
TI  - Mathematics of program construction : proceedings
U1  - 5.131 
PY  - 1989///
CY  - Berlin
PB  - Springer Verlag
KW  - Computer science
KW  - Programme construction
ER  -