Reasoning about infinite computations (1994)

by M Y Vardi, P Wolper
Venue:Information and Computation