Temporal Verification of Reactive Systems
Safety »

The Temporal Logic of Reactive and Concurrent Systems
Specification »

The Deductive Foundations of Computer Programming
A One-Volume Version of the Logical Basis for Computer Programming »

Lectures On The Logic Of Computer Programming
 »

The Logical Basis for Computer Programming, Volume 1
Deductive Reasoning »

The Calculus Of Computation
Computational logic is a fast-growing field with applications in artificial intelligence, constraint solving, and the design and verification of software and... »

Mathematical Theory Of Computation
 »