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