On the performance of Dijkstra's third self-stabilizing algorithm for mutual exclusion and related algorithms
scientific article; zbMATH DE number 5781476