TY  - BOOK
AU  - Knuth, E.
AU  - Neuhold E. J.
ED  - Hungarian Academy of Sciences 
ED  - Conference on Operating System Specification and Design of Software Systems 
TI  - Specification and design of software systems
SN  - 3540122842
U1  - 510.7834 
PY  - 1983///
CY  - Berlin
PB  - Springer-Verlag
KW  - Operating systems (Computers)
KW  - Computer input-output equipment - Design and construction
ER  -