T. Henzinger, R. Jahla, R. Majumdar, and G. Sutre. ACM Symposium on Principles of Programming Languages, page 58-70. Portland, OR, USA, ACM Press, (January 2002)
B. Henderson, and I. Gorton. Summary of Workshop, ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA, (2002)