Vassilina, G.; Tleubergenov, M. On Construction of the Comparison Function of Program Motion in Probable Statement. M 2019, 95, 60-67.