1. Bartley, D. H., The Utilization of Hybrid Techniques in Computer Systems for Symbolic Mathematics, Master's Thesis, Univ. Texas, Austin, 1972.
2. Cabay, S. and Lam, T.P.L., "Congruence Techniques for the Exact Solution of Integer Systems of Linear Equations," TOMS 3(1977), 386–397.
3. Hardy, G. H. and Wright, E. M., An Introduction to the Theory of Numbers, Clarendon Press, Oxford, 1960.
4. Horn, B. K. P., "Rational Arithmetic for Minicomputers," Software-Prac. and Exper. 8(1978), 171–176.
5. Howell, J. and Gregory, R. T., "Solving Linear Equations Using Residue Arithmetic II," Nordisk Tidskr. Inf. 10(1970), 23–37.