Tense logic - McArthur, Robert P. (Dordrecht D. Reidel Pub. Co, 1976)
[synthese library,v.111]