LOGICS OF TIME AND COMPUTATION (CSLI LECTURE NOTES NO.7) - GOLDBLATT,ROBERT (CSLI CALIFORNIA, 1987)
SC-44