1. Developing verified programs with dafny;Leino,2012
2. Object-Oriented Software Construction;Meyer,1988
3. Verification of object-oriented programs with invariants;Barnett;J. Object Technol.,2004
4. Allocation removal by partial evaluation in a tracing jit;Bolz,2011
5. Runtime verification;Gopinathan,2008