The weakest deadlock-preserving congruence (1995)

by A Valmari