The linear time – branching time spectrum I; the semantics of concrete, sequential processes (2001)

by R J van Glabbeek
Venue:In Handbook of Process Algebra, chapter 1