Косовская, Т.; Косовский, Н.; Косовская, Т. Основы доказательств полиномиальной быстроты простейших математических алгоритмов. CTE 2014.