Arora, S.Leavens, G.T.2022-03-022022-03-022009978-1-60558-768-4https://publica.fraunhofer.de/handle/publica/149888Companion to the 24th Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2009