TY  - BOOK
AU  - Knuth E Ed.
AU  -  Neuhold EJ Ed.
ED  - Conference on specification and design of software systems (1982 : Hungary)
TI  - Proceedings on operating systems: Specification and design of software systems
T2  - Lecture notes in computer science; 152
U1  - D65,8(B)92:4p1,N82, M3;1 
PY  - 1983///
CY  - Berlin
PB  - Springer-Verlag       
KW  - Computer programming
ER  -