James E. Burns, Paul Jackson, Nancy A. Lynch, Michael J. Fischer, Gary L. Peterson. Data Requirements for Implementation of N-Process Mutual Exclusion Using a Single Shared Variable. Journal of the ACM, 29(1):183-205, 1982. [doi]
Abstract is missing.