TY  - BOOK
AU  - Bird,R.S.
AU  - Morgan,C.C.
AU  - Woodcock, J. C. P.
ED  - International Conference on the Mathematics of Program Construction
TI  - Mathematics of program construction: Second International Conference, Oxford, U. K., June 29 - July 3, 1992 : proceedings 
SN  - 3540566252
AV  - QA76.9 M35 I57 1992
PY  - 1993///
CY  - Berlin
PB  - Springer-Verlag
KW  - Electronic data processing
KW  - Mathematics
KW  - Congresses
ER  -