J. Gerard Wolff, “Mathematics as Information Compression Via the Matching and Unification of Patterns”, RHMCS-V3, pp. 118–174, Dec. 2022.