Shail Arora Gary T. Leavens Companion to the 24th Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2009, October 25-29, 2009, Orlando, Florida, USA OOPSLA Companion ACM 2009 978-1-60558-768-4 db/conf/oopsla/oopsla2009c.html