Nielson, H. R., & Solberg, K. L. (1995). Particpants’ Proceedings on the Workshop: Types for Program Analysis. DAIMI Report Series, 24(493). https://doi.org/10.7146/dpb.v24i493.7021