Reinhard Wilhelm, Tomasz Müldner, Raimund Seidel. Algorithm Explanation: Visualizing Abstract States and Invariants. In Stephan Diehl, editor, Software Visualization, International Seminar Dagstuhl Castle, Germany, May 20-25, 2001, Revised Lectures. Volume 2269 of Lecture Notes in Computer Science, pages 381-394, Springer, 2001. [doi]
Abstract is missing.