Proving Operating Systems Correct (1983)

by R A Karp
Venue:UMI Research Press, Ann Arbor