The anchored version of the temporal framework (1989)

by Z Manna, A Pnueli
Venue:Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency, volume 354 of LNCS