В. М. Дубовой, О. Д. Никитенко, и О. В. Глонь, «ЭКВИВАЛЕНТНОСТЬ НЕОПРЕДЕЛЕННЫХ АЛГОРИТМОВ», Труды ВНТУ, вып. 2, сен. 2011.