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.