The Logical Design of Operating Systems (1974)

by A C Shaw