On the Design and Verification of Operating Systems (1977)

by L Flon