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