Vicious circles on the mathematics of non-wellfounded phenomena - Barwise, Jon 1942-2000; Moss, Lawrence (CSLI Publ., 1996)