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