Cita APA (7a ed.)

Bauer, A., Park, S., & Simpson, A. (2024). An Imperative Language for Verified Exact Real-Number Computation.

Cita Chicago Style (17a ed.)

Bauer, Andrej, Sewon Park, y Alex Simpson. An Imperative Language for Verified Exact Real-Number Computation. 2024.

Cita MLA (9a ed.)

Bauer, Andrej, et al. An Imperative Language for Verified Exact Real-Number Computation. 2024.