TY  - BOOK
AU  - Knuth,E.
AU  - Neuhold,Erich J.
ED  - Conference on Operating Systems
TI  - Specification and design of software systems: Conference on Operating Systems, Visegrad, Hungary, January 23-27, 1982, proceedings 
AV  - QA76.6 C646 1982
PY  - 1983///
CY  - Berlin
PB  - Springer-Verlag
KW  - System design
KW  - Congresses
KW  - Operating systems (Computers)
KW  - Computer programs
KW  - Specifications
ER  -