Formal Requirements for Virtualizable Third Generation Architectures.
Capability-Based Addressing.
Protection and the Control of Information Sharing in Multics.
Minimal-Total-Processing Time Drum and Disk Scheduling Disciplines.
The UNIX Time-Sharing System.
Scheduling Independent Tasks to Reduce Mean Finishing Time.