The Annotated Bibliography is a collection of curated links to research literature on AV topics.

Wilhelm R, M├╝ldner T, Seidel R. Algorithm Explanation: Visualizing Abstract States and Invariants. In: Diehl S, editor. Software Visualizations. Vol 2269. Springer; 2001. p. 381-94. (Lecture Notes in Computer Science (LNCS); vol 2269).