Reasoning about Infinite Computations (1994)

by Moshe Y Vardi, Pierre Wolper
Venue:Information and Computation