T. C. Nicholas Graham. A Method for The Formal Testing of Program Visualization Tools. In 4th International Workshop on Program Comprehension (WPC 96), March 29-31, 1996, Berlin, Germany. pages 45-54, IEEE Computer Society, 1996. [doi]
Abstract is missing.