“Program Visualization System Supporting Teacher-Intended Stepwise Refinement”, ICCE, Dec. 2023, doi: 10.58459/icce.2023.1015.