Logics of Time and Computation (1987)

by R GOLDBLATT