Temporal logics for abstracts semantics - Fisher, Michael D. (Technical report series / University of Manchester, Department of Computer Science., 1987)