An Introduction to Formal Mathematics - Joseph Kirtland (Taylor and Francis, 2020)