Buckley, M. A Formal Verification of the Theory of Parity Complexes. JFR 2015, 8, 25-48.