APA-Zitierstil (7. Ausg.)
Brady, E. (2017). Type-Driven Development with Idris. Manning.
Chicago-Zitierstil (17. Ausg.)
Brady, Edwin. Type-Driven Development with Idris. New York: Manning, 2017.
MLA-Zitierstil (9. Ausg.)
Brady, Edwin. Type-Driven Development with Idris. Manning, 2017.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.