K. L. Solberg and H. R. Nielson, “Strictness and Totality Analysis”, DPB, vol. 23, no. 474, Jun. 1994.