APA (7th ed.) Citation

Kemmerer, R. A. (1982). Formal verification of an operating system security kernel. UMI Research Press.

Chicago Style (17th ed.) Citation

Kemmerer, Richard A. Formal Verification of an Operating System Security Kernel. Ann Arbor, Mich.: UMI Research Press, 1982.

MLA (9th ed.) Citation

Kemmerer, Richard A. Formal Verification of an Operating System Security Kernel. UMI Research Press, 1982.