Buchberger, B. (2016) “Theorema 2.0: Computer-Assisted Natural-Style Mathematics”, Journal of Formalized Reasoning, 9(1), pp. 149–185. doi: 10.6092/issn.1972-5787/4568.