@inproceedings{WPC-1996-Graham,
	author        = "T. C. Nicholas Graham",
	booktitle     = "{Proceedings of the Fourth International Workshop on Program Comprehension}",
	doi           = "10.1109/WPC.1996.501120",
	pages         = "45--54",
	publisher     = "{IEEE Computer Society}",
	title         = "{A Method for The Formal Testing of Program Visualization Tools}",
	year          = 1996,
}