Program Visualization System Supporting Teacher-Intended Stepwise Refinement. ICCE 2023. https://doi.org/10.58459/icce.2023.1015.