Stewart, James (2003). Variabel tunggal transendental awal kalkulus (edisi ke-5th.). Toronto ON: Brook/Cole. hlm. 3. ISBN978-0-534-39330-4. However, by indirect reasoning, Eudoxus (fifth century B.C.) used exhaustion to prove the familiar formula for the area of a circle: Parameter |url-status= yang tidak diketahui akan diabaikan (bantuan)
Arndt, Jörg; Haene l, Christoph (2006). Pi Unleashed. Springer-Verlag. ISBN978-3-540-66572-4. Diakses tanggal 2013-06-05. Terjemahan bahasa Inggris oleh Catriona dan David Lischka.