Riccardo Pucella. Towards a formalization for COM part i: the primitive calculus. In Mamdouh Ibrahim, Satoshi Matsuoka, editors, Proceedings of the 2002 ACM SIGPLAN Conference on Object-Oriented Programming Systems, Languages and Applications, OOPSLA 2002, Seattle, Washington, USA, November 4-8, 2002. pages 331-342, ACM, 2002. [doi]
Abstract is missing.