Title: The temporal logic of reactive and concurrent systems
Subjects: Computer programming, Symbolic and mathematical Logic, Electronic digital computers, programming, Logic, symbolic and mathematical