Lectures on a method in the theory of exponential sums. (English)
Tata Institute of Fundamental Research. Berlin etc.: Springer-Verlag. viii, 134 p. DM 20.00 (1987).
1
Inductive generalization and proofs of function properties. (English)
Comput. Linguist. Comput. Lang. 13, 101-130 (1979).
2