The linear time—branching time spectrum II (1993)

by R J van Glabbeek
Venue:In CONCUR