The weakest deadlock-preserving congruence
scientific article; zbMATH DE number 985831