The temporal logic of reactive and concurrent systems

Temporal Verification of Reactive Systems

The Temporal Logic of Reactive and Concurrent Systems

Mathematical theory of computation

The logical basis for computer programming

Lectures on the Logic of Computer Programming (CBMS-NSF Regional Conference Series in Applied Mathematics) (CBMS-NSF Regional Conference Series in Applied Mathematics)

Time for Verification

Logcl Basis Cmpt Prog V1

Introduction to Mathematical Theory of Computation (Computer Science)