Vicious Circles: On theMathematics of Non-wellfounded Phenomena (1996)

by Jon Barwise, Lawrence Moss