K. L. Solberg, “Annotated Type Systems for Program Analysis”, DPB, vol. 24, no. 498, Nov. 1995.