Class Testing by Examining Pointers. - Rosario J. D'Souza; Richard J. LeBlanc (J. Object Oriented Program., 1994)