Visualization Tools for CS Theory: an Initial Literature Review. - Ian Campbell; Anthony Notaro; Ryan E. Dougherty (SIGCSE (2), 2026)