Karp, R. A. (1983). Proving operating systems correct. UMI Research Press.
Cita Chicago Style (17a ed.)Karp, Richard Alan. Proving Operating Systems Correct. Ann Arbor: UMI Research Press, 1983.
Cita MLA (9a ed.)Karp, Richard Alan. Proving Operating Systems Correct. UMI Research Press, 1983.
Precaución: Estas citas no son 100% exactas.