Congruent Weak Conformance, a Partial Order among Processes. - Ronald W. Brower; Kenneth S. Stevens (FORTE, 2002)