Proving testing preorders for process algebra descriptions. - Fulvio Corno; Marco Cusinato; Mario Ferrero; Paolo Prinetto (ED&TC, 1995)