Frandsen, G. S., and C. Sturtivant. “The Depth Efficacy of Unbounded: Characteristic Finite Field Arithmetic”. DAIMI Report Series, vol. 17, no. 240, Dec. 1988, doi:10.7146/dpb.v17i240.7596.