Temporal Logic of programs - Kröger, Fred (Springer, 1987)