Kemmerer, Richard A. Formal verification of an operating system security kernel / by Richard A. Kemmerer. - Ann Arbor, Mich. : UMI Research Press, c1982. - x, 317 p. ; ISBN: 0835713229 Subjects--Topical Terms: Operating systems (Computers) Dewey Class. No.: 005.8 / Fo