Harrison, John, Josef Urban, and Freek Wiedijk. “Preface: Twenty Years of the QED Manifesto”. Journal of Formalized Reasoning 9, no. 1 (January 1, 2016): 1–2. Accessed April 24, 2024. https://jfr.unibo.it/article/view/5974.