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