Sommen, et al.. Peterson's Mutual Exclusion Algorithm Revisited. Elsevier BV, 1997, doi:10.1016/s0167-6423(97)00003-8.