The logical design of operating systems (1974)

by A Shaw