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