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