Gapanovich, D., & Sukhomlin, V. (2022). Моделирование функционирования шахты средствами алгебры конечных автоматов DTA. Современные информационные технологии и ИТ-образование, 18(3), 634-643. doi:10.25559/SITITO.18.202203.634-643