Bertrand Meyer Proving Pointer Program Properties. Part 1: The Overall Object Structure. 77-100 2003 2 Journal of Object Technology 1 http://www.jot.fm/issues/issue_2003_05/column8 db/journals/jot/jot2.html#Meyer03