Situation Theory And Its Applications by Robin Cooper, Jon Barwise & Peter Aczel