and branching structures in the semantics and logics of reactive systems (1985)

by Linear
Venue:In ICALP, volume 194 of LNCS