Полная система подобных преобразований недетерминированных схем алгоритмов //Доклады АН СССР, Математикастатья