TY  - BOOK
AU  - Moller,Bernhard
ED  - International Conference on the Mathematics of Program Construction
TI  - Mathematics of program construction: Third International Conference, MPC '95, Kloster Irsee, Germany, July 17-21, 1995 : proceedings 
SN  - 3540601171
AV  - QA76.9 M35 I57 1995
PY  - 1995///
CY  - Berlin
PB  - Springer-Verlag
KW  - Electronic data processing
KW  - Mathematics
KW  - Congresses
ER  -