Hopkins, D., & Ong, L. (2009). Homer: A Higher−order Observational equivalence Model checkER.
Čikaški stil citiranja (17. izdanje)Hopkins, D., i L. Ong. Homer: A Higher−order Observational Equivalence Model CheckER. 2009.
MLA način citiranja (9. izdanje)Hopkins, D., i L. Ong. Homer: A Higher−order Observational Equivalence Model CheckER. 2009.
Upozorenje: Ovi citati možda nisu uvijek 100% točni.