Aspect-oriented programming for Design-by-Contract technology support. (2010). Computer Tools in Education, 4. http://cte.eltech.ru/ojs/index.php/kio/article/view/1226