T. C. Nicholas Graham: A Method for The Formal Testing of Program Visualization Tools. WPC 1996: 45-54