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