P.: Reasoning about infinite computations (1994)

by M Y Vardi, Wolper
Venue:I&C