Three-Dimensional Tense Logic and a GPSG Fragment - John A. Nerbonne (Taylor and Francis, 1985)