Program Visualization System Supporting Teacher-Intended Stepwise Refinement. ICCE. Published online December 4, 2023. doi:10.58459/icce.2023.1015