G. Vassilina and M. Tleubergenov, “On construction of the comparison function of program motion in probable statement”, M, vol. 95, no. 3, pp. 60–67, Sep. 2019.