Ronald W. Brower Kenneth S. Stevens Congruent Weak Conformance, a Partial Order among Processes. 34-49 2002 conf/forte/2002 FORTE http://link.springer.de/link/service/series/0558/bibs/2529/25290034.htm db/conf/forte/forte2002.html#BrowerS02