Cita APA (7a ed.)
Klein, G., Andronick, J., Elphinstone, K., Heiser, G., Cock, D., Derrin, P., . . . Winwood, S. (2010). seL4: Formal Verification of an Operating-System Kernel. Communications of the ACM, 53(6), 107-116.
Cita Chicago Style (17a ed.)
Klein, Gerwin, et al. "SeL4: Formal Verification of an Operating-System Kernel." Communications of the ACM 53, no. 6 (2010): 107-116.
Cita MLA (9a ed.)
Klein, Gerwin, et al. "SeL4: Formal Verification of an Operating-System Kernel." Communications of the ACM, vol. 53, no. 6, 2010, pp. 107-116.
Precaución: Estas citas no son 100% exactas.