Н. К. Косовский, “Формализованная дискретность в математике как основа обучения информатике”, CTE, no. 6, Jan. 2014.