N-Dolphin: A Visualizer for Abstract Substitution-Based Execution. - Alex Reichard; David G. Wonnacott (J. Comput. Sci. Coll., 2023)