Jørgensen, J. B., and L. M. Kristensen. “Computer Aided Verification of Lamport’s Fast Mutual Exclusion Algorithm - Using Coloured Petri Nets and Occurrence Graphs With Symmetries”. DAIMI Report Series, vol. 26, no. 512, Feb. 1997, doi:10.7146/dpb.v26i512.7041.