КОСОВСКИЙ, Н. К. Формализованная дискретность в математике как основа обучения информатике. Computer Tools in Education, n. 6, 23 Jan. 2014.