Nielson, H. R., and K. L. Solberg. “Particpants’ Proceedings on the Workshop: Types for Program Analysis”. DAIMI Report Series, vol. 24, no. 493, May 1995, doi:10.7146/dpb.v24i493.7021.