Operating systems <an> advance course - Bayer, R. (Lecture notes in computer science, 1978)