1. R. S. Boyer and J. S. Moore. Metafunctions: Proving them Correct and Using Them Efficiently as New Proof Procedure. In R. S. Boyer and J. S. Moore, editors, The Correctness Problem in Computer Science. Academic Press, London, UK, 1981.
2. C. Chou and D. Peled. Formal Verification of a Partial-Order Reduction Technique for Model Checking. Journal of Automated Reasoning, 23(3-4):265–298, 1999.
3. Workshop, volume 131 of LNCS;EM Clarke,1981
4. LNCS;EA Emerson,2000
5. K. Gödel. Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme I. Monatshefte für Mathematic und Physik, 38:173–198, 1931.