Gutknecht, Jürg.
" Constructive Computer Science at ETH Zuerich." <em>Современные информационные технологии и ИТ-образование</em> [Онлайн], 21.3 (2025): n. pag. Веб. 22 Jan. 2026