Title: Temporal Logics in Computer Science - Classical Theory
Subjects: Computer science