Когай, А. Применение аспектно-ориентированного программирования для поддержки технологии Design-by-Contract. CTE 2014.