H. R. Nielson and K. L. Solberg, “Particpants’ Proceedings on the Workshop: Types for Program Analysis”, DPB, vol. 24, no. 493, May 1995.