Temporal logic of programs - Kroger, Fred (EATCS monographs on theoretical computer science. EATCS monographs on theoretical computer science, 1987)