He, J., Liu, Z., Li, X., Qin, S., & Chin, W.-N. (2004, November). A Relational Model for Object-Oriented Designs. Presented at Second ASIAN Symposium on Programming Languages and Systems (APLAS 2004), Taipei, Taiwan