Temporal Logic : mathematical foundations and computational aspects.
Gabbay, Dov M.,1945-
Hodkinson, Ian.
Reynolds, Mark.
Oxford : Clarendon,
1994.
"Oxford science publications."