Temporal logic of programs - Kröger, Fred (EATCS monographs on theoretical computer science, 1987)