Solberg, K. L. “Annotated Type Systems for Program Analysis”. DAIMI Report Series, vol. 24, no. 498, Nov. 1995, doi:10.7146/dpb.v24i498.7026.