TY  - BOOK
AU  - Vande snepscheut J L A Ed.
ED  - International conference on mathematics of program construction (1989 : Netherlands)
TI  - Proceedings on mathematics of program construction
T2  - Lecture notes in computer science; 375
U1  - D65,8(B)92p1,N89, M9 
PY  - 1989///
CY  - Berlin
PB  - Springer-Verlag       
KW  - Computer programming
ER  -