JON BARWISE AND LAWRENCE MOSS,
"VICIOUS CIRCLES. ON THE MATHEMATICS OF NON-WELLFOUNDED PHENOMENA."
Stanford: CSLI Publications, 1996
Lecture Notes Number 60
x + 390 pp. ISBN 1-57586-009-0 (hardback) or 1-57586-008-2 (paperback)
There's a review of it captured on Project Euclid from "Modern...