Reasoning about infinite computations. (1994)

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