Jean-Claude Royer Checking Class Schema Usefulness. 157-176 2004 3 Journal of Object Technology 1 http://www.jot.fm/issues/issue_2004_01/article4.pdf db/journals/jot/jot3.html#Royer04