Gutknecht, J. (2025). Constructive Computer Science at ETH Zuerich. Современные информационные технологии и ИТ-образование, 21(3). Получено с http://sitito.cs.msu.ru/index.php/SITITO/article/view/1247