Liang Zhao, Xiangpeng Zhao, Quan Long, Zongyan Qiu. A Type System for the Relational Calculus of Object Systems. In 11th International Conference on Engineering of Complex Computer Systems (ICECCS 2006), 15-17 August 2006, Stanford, California, USA. pages 189-198, IEEE Computer Society, 2006. [doi]
Abstract is missing.