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