Cita APA (7a ed.)
COOK, B., PODELSKI, A., & RYBALCHENKO, A. (2011). Proving Program Termination. Communications of the ACM, 54(5), 88-99.
Cita Chicago Style (17a ed.)
COOK, BYRON, ANDREAS PODELSKI, y ANDREY RYBALCHENKO. "Proving Program Termination." Communications of the ACM 54, no. 5 (2011): 88-99.
Cita MLA (9a ed.)
COOK, BYRON, et al. "Proving Program Termination." Communications of the ACM, vol. 54, no. 5, 2011, pp. 88-99.
Precaución: Estas citas no son 100% exactas.