Characterising temporal logic - Fisher, Michael A. (Technical report series / University of Manchester, Department of Computer Science., 1989)