Xiaogang Zhang, John Potter. Class-Based Models in the -Calculus. In TOOLS 1997: 25th International Conference on Technology of Object-Oriented Languages and Systems, 24-28 November 1997, Melbourne, Australia. pages 238-251, IEEE Computer Society, 1997. [doi]
Abstract is missing.