J. B. Jørgensen og L. M. Kristensen, “Verification by State Spaces with Equivalence Classes”, DPB, bd. 26, nr. 515, feb. 1997.