Mu, S., Ko, H., & Jansson, P. (2009). Algebra of Programming in Agda: Dependent Types for Relational Program Derivation.
Չիկագոյի ոճի (17րդ խմբ.) մեջբերումMu, S., H. Ko, and P. Jansson. Algebra of Programming in Agda: Dependent Types for Relational Program Derivation. 2009.
MLA (9րդ խմբ.) ՄեջբերումMu, S., et al. Algebra of Programming in Agda: Dependent Types for Relational Program Derivation. 2009.
Զգուշացում. այս մեջբերումները միշտ չէ, որ կարող են 100% ճշգրիտ լինել.