J. Gerard Wolff. Mathematics As Information Compression Via the Matching and Unification of Patterns. RHMCS-V3 2022, 118-174.