Automatic discovery of mutual exclusion algorithms. - Yoah Bar-David; Gadi Taubenfeld (PODC, 2003)