"The Cambridge CAP Computer and its Protection System."

Roger M. Needham, R. D. H. Walker (1977)
maintained by Schloss Dagstuhl LZI, founded at University of Trier