KeyKOS 
Persistent, pure capability, nanokernel OS, for IBM S/370 mainframe systems, by Key Logic, Inc. Influenced design of other capability OSs, notably EROS and successors. Set of papers, notes, patents, bibliography.
http://www.cis.upenn.edu/~KeyKOS/