@article{Meyer03c, author = {Bertrand Meyer}, title = {Proving Pointer Program Properties. Part 2: The Overall Object Structure}, journal = {Journal of Object Technology}, volume = {2}, number = {3}, year = {2003}, pages = {77-100}, urltopdf = {http://www.jot.fm/issues/issue_2003_05/column8.pdf} }