Применение аспектно-ориентированного программирования для поддержки технологии Design-by-contract. // Comput. Tools Educ. Санкт-Петербург, Россия, 2010. № 4.