Branching time temporal logic. Lecture (1989)

by E Emerson, J Srinivasan