Correctness of realization of levels of abstraction in operating systems (1974)

by G Belpaire, J P Wilmotte
Venue:Eds., Lecture Notes in Computer Science 16