Jørgensen, J. B., and L. M. Kristensen. “Verification by State Spaces With Equivalence Classes”. DAIMI Report Series, vol. 26, no. 515, Feb. 1997, doi:10.7146/dpb.v26i515.7044.