Isabel Nunes Design by Contract Using Meta-Assertions. 37-56 2002 1 Journal of Object Technology 3 http://www.jot.fm/issues/issue_2002_08/article3 db/journals/jot/jot1.html#Nunes02