Robert Goldblatt: Logics of time and computation. CSLI 1992. $50.