M. Buckley, “A formal verification of the theory of parity complexes”, JFR, vol. 8, no. 1, pp. 25–48, Jan. 2015.