Jonathan Edwards, Daniel Jackson, Emina Torlak. A type system for object models. In Richard N. Taylor, Matthew B. Dwyer, editors, Proceedings of the 12th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2004, Newport Beach, CA, USA, October 31 - November 6, 2004. pages 189-199, ACM, 2004. [doi]
Abstract is missing.