Issues in kernel design (1978)

by G J Popek, C S Kline
Venue:In National Computer Conference