J. B. Jørgensen og L. M. Kristensen, “Computer Aided Verification of Lamport’s Fast Mutual Exclusion Algorithm - Using Coloured Petri Nets and Occurrence Graphs with Symmetries”, DPB, bd. 26, nr. 512, feb. 1997.