TY  - BOOK
AU  - Bibel W Ed.
AU  -  Jantke K P Ed.
ED  - Inter. spring sch. on mathematical methods of specification and synthesis of software system (1985 : Wendisch-Rietz)
TI  - Proceedings on mathematical methods of specification and synthesis of software system'85
T2  - Lecture notes in computer science; 215
U1  - D65,8(B)92p1,N85, M6 
PY  - 1986///
CY  - Berlin
PB  - Springer-Verlag       
KW  - Computer programming
ER  -