E. M. Clarke, E. A. Emerson et A. P. Sistla, « Automatic Verification of Finite-state Concurrent Systems Using Temporal Logic Specifications », ACM Trans. Program. Lang. Syst., vol. 8, no 2, , p. 244–263 (ISSN0164-0925, DOI10.1145/5397.5399, lire en ligne, consulté le )
André Arnold et Paul Crubille, « A Linear Algorithm to Solve Fixed-point Equations on Transition Systems », Inf. Process. Lett., vol. 29, no 2, , p. 57–66 (ISSN0020-0190, DOI10.1016/0020-0190(88)90029-4, lire en ligne, consulté le )
E. M. Clarke, E. A. Emerson et A. P. Sistla, « Automatic Verification of Finite-state Concurrent Systems Using Temporal Logic Specifications », ACM Trans. Program. Lang. Syst., vol. 8, no 2, , p. 244–263 (ISSN0164-0925, DOI10.1145/5397.5399, lire en ligne, consulté le )
André Arnold et Paul Crubille, « A Linear Algorithm to Solve Fixed-point Equations on Transition Systems », Inf. Process. Lett., vol. 29, no 2, , p. 57–66 (ISSN0020-0190, DOI10.1016/0020-0190(88)90029-4, lire en ligne, consulté le )
E. M. Clarke, E. A. Emerson et A. P. Sistla, « Automatic Verification of Finite-state Concurrent Systems Using Temporal Logic Specifications », ACM Trans. Program. Lang. Syst., vol. 8, no 2, , p. 244–263 (ISSN0164-0925, DOI10.1145/5397.5399, lire en ligne, consulté le )