И. Э. Райчев, А. Г. Харченко, and Н. А. Яцков, “Methods of testing of program modules of flight information processing”, Proceedings of National Aviation University, vol. 6, no. 1-2, pp. 127–133, Sep. 2000.