The logic of time : a model-theoretic investigation into the varieties of temporal ontology and temporal discourse - Benthem, Johan van (Kluwer Academic Publishers, 1991)