Райчев, И. Э.; Харченко, А. Г. Применение конечных автоматов для реализации алгоритмов контроля полетов воздушных судов. Proceedings of National Aviation University 2001, 10, 136-140.