@inproceedings{IWPC-2001-GannodC,
	author        = "Gerald C. Gannod and Betty H. C. Cheng",
	booktitle     = "{Proceedings of the Ninth International Workshop on Program Comprehension}",
	doi           = "10.1109/WPC.2001.921733",
	isbn          = "0-7695-1131-7",
	pages         = "221--232",
	publisher     = "{IEEE Computer Society}",
	title         = "{A Suite of Tools for Facilitating Reverse Engineering Using Formal Methods}",
	year          = 2001,
}