Safeguard data-processing system: Central logic and control operating system | Nokia Bell Labs Journals & Magazine | IEEE Xplore