Journal: Communications of the ACM

Volume 23, Issue 2

67 -- 70Anthony Ralston, Mary Shaw. Curriculum 78 - Is Computer Science Really that Unmathematical?
71 -- 80M. D. Canon, D. H. Fritz, John H. Howard, T. D. Howell, Michael F. Mitoma, Juan Rodriguez-Rossel. A Virtual Machine Emulator for Performance Evaluation
81 -- 92David D. Redell, Yogen K. Dalal, Thomas R. Horsley, Hugh C. Lauer, William C. Lynch, Paul R. McJones, Hal G. Murray, Stephen C. Purcell. Pilot: An Operating System for a Personal Computer
92 -- 105John K. Ousterhout, Donald A. Scelza, Pradeep S. Sindhu. Medusa: An Experiment in Distributed Operating System Structure
105 -- 117Butler W. Lampson, David D. Redell. Experience with Processes and Monitors in Mesa
118 -- 131Bruce J. Walker, Richard A. Kemmerer, Gerald J. Popek. Specification and Verification of the UCLA Unix Security Kernel