• S. Qadeer, N. Shankar. Verifying a Self-Stabilizing Mutual Exclusion Algorithm. Proceedings of the IFIP Working Conference on Programming Concepts and Methods, 1998. Postscript.