Temporal Logic of Programs (Springer, 1987)
Includes bibliography & index.