Martin Lackner Andreas Krall Franz Puntigam Supporting Design by Contract in Java. 57-76 2002 1 Journal of Object Technology 3 http://www.jot.fm/issues/issue_2002_08/article4 db/journals/jot/jot1.html#LacknerKP02