Tense logic A study of temporal reference - Cocchiarella, Nino B. (Univ. Microfilms, 1966)
Los Angeles, Univ. of California, Diss.