(1)
Dubovoyy, V.; Nikitenko, O.; Glon, O. EQUIVALENCE OF INDETERMINED ALGORITHMS. Works of VNTU 2015.