1. The Design and Analysis of Computer Algorithms;Aho,1974
2. On the question “Is ∑1n √ai⩽L”?;Akman;Bull. EATCS,1986
3. Evaluation of a new method to compute signs of determinants;Avnaim,1995
4. On the combinatorial and algebraic complexity of quantifier elimination;Basu,1994
5. Polynomial and Matrix Computations;Bini,1994