Temporal logic : mathematical foundations and computational aspects. Vol. 2 - Gabbay, Dov M.; Reynolds, Mark A.; Finger, Marcelo (Oxford : Clarendon Press, 2000)