@Book{Gol92,
    Author       = "Goldblatt, R.",
    Year         = "1992",
    Title        = "{Logics of Time and Computation}",
    Series       = "Center for the Study of Language and Information -
                    Lecture Notes",
    Publisher    = "The University of Chicago Press",
    Comment      = "TPTPRef"
}