TY  - BOOK
AU  - Bird R S
ED  - International Conference on the Mathematics of Program Construction( 2nd : 1992 : oxford )
ED  - International Conference on the Mathematics of Program Construction 2nd
TI  - Mathematics of program construction : proceedings
SN  - 0-387-56625-2
U1  - 5.3 
PY  - 1993///
CY  - Berlin
PB  - Springer Verlag
KW  - Programme construction
ER  -