Leavens, et al.. Specification and Verification Challenges for Sequential Object-oriented Programs. Springer Nature, Apr. 2007, doi:10.1007/s00165-007-0026-7.