Xing, C.-C. A Graph-Based Type Representation for Objects. eceasst 2008, 10.