Valentin GorankoBooksTemporal Logics in Computer Science - Classical TheoryTemporal Logics in Computer ScienceAuthor data: Open Library