"Normalisation by Random Descent."

Vincent van Oostrom, Yoshihito Toyama (2016)
a service of Schloss Dagstuhl - Leibniz Center for Informatics