The Logical Design of Operating Systems (1988)

by Lubomir Bic, Alan Shaw