Information Flow by Jon Barwise & Jerry Seligman