TY  - BOOK
AU  - Bernhard Moller ed.
ED  - International Conference on Mathematics of program construction, MPC'95 (3rd : 17-21 July 1995 : Kloster Irsee,Germany)
ED  - International conference on mathematics of program construction
TI  - Mathematics of program construction: proceedings
U1  - 5.1 
PY  - 1995///
CY  - Berlin
PB  - Springer-Verlag
KW  - Program analysis
KW  - Program transformation
KW  - Program verification
ER  -