Cita APA (7a ed.)

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.