APA način citiranja (7. izdanje)
Copes Sabaj, M. (2018). A machine-checked proof of the Standardization Theorem in Lambda Calculus using multiple substitution.
Čikaški stil citiranja (17. izdanje)
Copes Sabaj, Martín. A Machine-checked Proof of the Standardization Theorem in Lambda Calculus Using Multiple Substitution. 2018.
MLA način citiranja (9. izdanje)
Copes Sabaj, Martín. A Machine-checked Proof of the Standardization Theorem in Lambda Calculus Using Multiple Substitution. 2018.
Upozorenje: Ovi citati možda nisu uvijek 100% točni.