APA način citiranja (7. izdanje)

Stump, A. (2016). Verified functional programming in Agda (First edition.). Association for Computing Machinery.

Čikaški stil citiranja (17. izdanje)

Stump, Aaron. Verified Functional Programming in Agda. First edition. New York: Association for Computing Machinery, 2016.

MLA način citiranja (9. izdanje)

Stump, Aaron. Verified Functional Programming in Agda. First edition. Association for Computing Machinery, 2016.