N. O. Bodentien, J. Vestergaard, J. Friis, K. J. Kristoffersen, og K. G. Petersen, “Verification of State/Event Systems by Quotienting”, BRICS, bd. 6, nr. 41, dec. 1999.