A Verified Operating System Kernel (1987)

by William R. Bevier
Venue:UNIVERSITY OF TEXAS AT AUSTIN