Сафонов, В. 2014. Современные технологии разработки надежных и безопасных программ. Computer Tools in Education. 6 (Jan. 2014).