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