Tsvira, Y., & 		Kolokoltseva, T.
2026 Jul 20.  Алгоритм реализации общей математической схемы теории типов в программном обеспечении. Современные информационные технологии и ИТ-образование. [Онлайн] 22:2