Solberg, K. L., and H. R. Nielson. “Strictness and Totality Analysis”. DAIMI Report Series, vol. 23, no. 474, June 1994, doi:10.7146/dpb.v23i474.6947.