Mangala Gowri Nanda, Christian Grothoff, Satish Chandra. Deriving object typestates in the presence of inter-object references. In Ralph E. Johnson, Richard P. Gabriel, editors, Proceedings of the 20th Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2005, October 16-20, 2005, San Diego, CA, USA. pages 77-96, ACM, 2005. [doi]