Tense logic and the theory of linear order (1968)

by J A Kamp