TY  - BOOK
AU  - Jeuring Johan ed.
ED  - International Conference, MPC'98 on Mathematics of Program Construction (4th : 15-17 Jun 1998 : Marstrand,Sweden)
ED  - International conference, MPC'98 on mathematics of program construction
TI  - Mathematics of program construction: proceedings
SN  - 3-540-64591-8
U1  - 5.1 
PY  - 1998///
CY  - Berlin
PB  - Springer-Verlag
KW  - Computer programming
ER  -