Cita APA (7a ed.)

Rodríguez, L. M., Fridlender, D. E., & Pagano, M. M. (2022). A certified extension of the Krivine machine for a call-by-name higher-order imperative language.

Cita Chicago Style (17a ed.)

Rodríguez, Leonardo Matías, Daniel Edgardo Fridlender, y Miguel María Pagano. A Certified Extension of the Krivine Machine for a Call-by-name Higher-order Imperative Language. 2022.

Cita MLA (8a ed.)

Rodríguez, Leonardo Matías, et al. A Certified Extension of the Krivine Machine for a Call-by-name Higher-order Imperative Language. 2022.