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