On reliable and extendable operating systems (1969)

by B W Lampson
Venue:Techniques in software engineering, NATO Science Commitree Working Material Vol. II