Title: Investigating operating systems using Nachos
First published: 1996