Correctness in operating systems - Lauer, Hugh Conrad (1972)
Pittsburgh, Pa., Univ., Diss., 1973. -Kopie, erschienen im Verl. Univ. Microfilms Internat., Ann Arbor, Mich.