Райчев, И.Э. and Харченко, А.Г. 2001. Применение конечных автоматов для реализации алгоритмов контроля полетов воздушных судов. Proceedings of National Aviation University. 10, 3 (Sep. 2001), 136–140. DOI:https://doi.org/10.18372/2306-1472.10.12161.