1. The complexity of procedures of deduction of theorems;Cook,1975
2. Polynomial algorithms of linear programming;Khachiyan;Zh. vȳchisl. Mat. mat. Fiz.,1980
3. Numerical methods in extremal problems;Pshenichnyi,1975
4. Linear inequalities;Chernikov,1968
5. Continued fractions;Khinchin,1978