@article{Meyer03a, author = {Bertrand Meyer}, title = {Proving Pointer Program Properties. Part 1: Context and overview}, journal = {Journal of Object Technology}, volume = {2}, number = {2}, year = {2003}, pages = {87-108}, urltopdf = {http://www.jot.fm/issues/issue_2003_03/column8} }