Mike Barnett, Rob DeLine, Manuel Fähndrich, K. Rustan M. Leino, and Wolfram Schulte July 2003
In: Formal Techniques for Java-like Programs (FTfJP)