1. Mach: A New Kernel Foundation for UNIX Development;Accetta,1986
2. Ensuring Data Security and Integrity with a Fast Stable Storage;Banätre,1988
3. A Reliable Distributed Virtual Memory on top of the Mach kernel;Banätre,1990
4. Design Decisions for the FTM: A General Purpose Fault Tolerant Machine;Banätre,1991
5. A NonStop Kernel;Bartlett,1981