F. Alfredo et al.,  "Sprinter: A didactic linter for structured programming", in OpenAccess Series in Informatics, Simões, A., and Silva, J. C., Ed., Barcelos, Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 2022, vol. 102