"Safeguard data-processing system: Central logic and control operating system."

J. P. Haggerty (1975)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics