TY  - BOOK
AU  - Ehrig Hartmut Ed.
ED  - International joint conference on theory and practice of  software devlopment (1985 : Berlin)
TI  - Proceeding on mathematical foundations of software development
T2  - Lecture notes in computer science; 185
U1  - D65,8(B)92, M5 
PY  - 1985///
CY  - Berlin
PB  - Springer-Verlag       
KW  - Computer programming
ER  -