1. Barwise, J., Moss, L.: Vicious Circles: On the Mathematics of Non-Wellfounded Phenomena. CSLI Publications, Stanford (1996)
2. Lecture Notes in Computer Science,2006
3. Bertot, Y.: CoInduction in Coq. In: Lecture Notes of TYPES Summer School 2005, August 1526 2005, Göteborg, Sweden. vol II (2005),
http://www.cs.chalmers.se/Cs/Research/Logic/TypesSS05/Extra/lectnotes_vol2.pdf
[cited 31 January 2007]
4. Lecture Notes in Computer Science;Y. Bertot,2005
5. Bertot, Y.: Affine functions and series with co-inductive real numbers. Math. Structures Comput. Sci. (to appear)