"Probabilistic Barbed Congruence."

Yuxin Deng, Wenjie Du (2007)
a service of Schloss Dagstuhl - Leibniz Center for Informatics