Temoral logics and their applications - Galton A Ed. (London Academic Press, 1987)