Vicious Circles by Jon Barwise & Lawrence S. Moss