APA (7th ed.) Citation

Stump, A. (2016). Verified functional programming in Agda (First edition.). Morgan & Claypool Publishers.

Chicago Style (17th ed.) Citation

Stump, Aaron. Verified Functional Programming in Agda. First edition. [London]: Morgan & Claypool Publishers, 2016.

MLA (9th ed.) Citation

Stump, Aaron. Verified Functional Programming in Agda. First edition. Morgan & Claypool Publishers, 2016.