J. Gerard Wolff, “Mathematics as Information Compression Via the Matching and Unification of Patterns”, NICST-V13, pp. 132–169, Jun. 2021.