Eugene Styer, Gary L. Peterson: Tight Bounds for Shared Memory Symmetric Mutual Exclusion Problems. PODC 1989: 177-191