TY  - BOOK
AU  - Karp R A
TI  - Providing operating systems correct
T2  - Computer science: systems programming; 16
U1  - D65,8(B)92, M3 
PY  - 1983///
CY  - Michigen
PB  - UMI         
KW  - Operating system
ER  -