Exhaustive arithmetic - Agarwal, O. P. (Agra, 1991)