“Aspect-oriented programming for Design-by-Contract technology support” (2010) Computer Tools in Education [Preprint], (4). Available at: http://cte.eltech.ru/ojs/index.php/kio/article/view/1226 (Accessed: 23 October 2026).