J. Lloret, P. Azéma, und F. Vernadat. CAV (DIMACS/AMS volume), Volume 3 von DIMACS Series in Discrete Mathematics and Theoretical Computer Science, Seite 519-534. DIMACS/AMS, (1990)
P. Azéma, F. Vernadat, und J. Lloret. Automatic Verification Methods for Finite State Systems, Volume 407 von Lecture Notes in Computer Science, Seite 286-293. Springer, (1989)