Hopkins, D., & Ong, L. (2009). Homer: A Higher−order Observational equivalence Model checkER.
Citazione stile Chigago Style (17a edizione)Hopkins, D., e L. Ong. Homer: A Higher−order Observational Equivalence Model CheckER. 2009.
Citatione MLA (9a ed.)Hopkins, D., e L. Ong. Homer: A Higher−order Observational Equivalence Model CheckER. 2009.
Attenzione: Queste citazioni potrebbero non essere precise al 100%.