J. Gerard Wolff. Mathematics As Information Compression Via the Matching and Unification of Patterns. NICST-V13 2021, 132-169.