Solberg, K. L. Annotated Type Systems for Program Analysis. DPB 1995, 24.