T. S. Lyon, “Internal and External Calculi: Ordering the Jungle without Being Lost in Translations”, B Sect Log, vol. 54, no. 1, pp. 59–151, Jun. 2025, doi: 10.18778/0138-0680.2025.02.