APA (7e ed.) Bronvermelding

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

Chicago (17e ed.) Bronvermelding

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

MLA (9e ed.) Bronvermelding

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