The Nachos Instructional Operating System. - Wayne A. Christopher; Steven J. Procter; Thomas E. Anderson (USENIX Winter, 1993)