C.-C. Xing, “A Graph-Based Type Representation for Objects”, ECEASST, vol. 10, Jul. 2008.