Hopkins, D., & Ong, L. (2009). Homer: A Higher−order Observational equivalence Model checkER.
Չիկագոյի ոճի (17րդ խմբ.) մեջբերումHopkins, D., and L. Ong. Homer: A Higher−order Observational Equivalence Model CheckER. 2009.
MLA (9րդ խմբ.) ՄեջբերումHopkins, D., and L. Ong. Homer: A Higher−order Observational Equivalence Model CheckER. 2009.
Զգուշացում. այս մեջբերումները միշտ չէ, որ կարող են 100% ճշգրիտ լինել.