Tsvira, Y., & 		Gorbunova, T.
2024 Dec 15.  Реализация теории типов как инструмента для восприятия математической теории в разработанном программном обеспечении. Современные информационные технологии и ИТ-образование. [Онлайн] 20:4