Correctness in Operating Systems (1972)

by H C Lauer
Venue:Carnegie-Mellon University