Temporal Logic of Programs (Berlin: Springer, 1987)
Includes bibliography & index.
Keywords: Electronic digital computers -- Programming; Logic, Symbolic and mathematical