Logic of time a model-theoretic investigation into the varieties of temporal ontology and temporal discourse - Van Benthem J F A K (Dordrecht D Reidel, 1983)
Bib 250-53p