APA Citation

Berger, U. (2009). From Coinductive Proofs to Exact Real Arithmetic. Computer Science Logic, Lecture Notes in Computer Science, 5771, p. 132. doi:10.1007/978-3-642-04027-6_12

Chicago Style Citation

Berger, Ulrich. "From Coinductive Proofs to Exact Real Arithmetic." Computer Science Logic, Lecture Notes in Computer Science 5771 (2009): 132.

MLA Citation

Berger, Ulrich. "From Coinductive Proofs to Exact Real Arithmetic." Computer Science Logic, Lecture Notes in Computer Science 5771 (2009): 132.

Warning: These citations may not always be 100% accurate.