APA (7th ed.) Citation

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

Chicago Style (17th ed.) Citation

Stump, Aaron. Verified Functional Programming in Agda. First edition. [New York] : [San Rafael, California]: Association for Computing Machinery ; Morgan & Claypool, 2016.

MLA (9th ed.) Citation

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