Xing, C.-C. (2008) “A Graph-Based Type Representation for Objects”, Electronic Communications of the EASST, 10. doi: 10.14279/tuj.eceasst.10.149.