САФОНОВ, В. Современные технологии разработки надежных и безопасных программ. Computer Tools in Education, n. 6, 21 Jan. 2014.