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