A Type-based Framework for Program Analysis (1994)

by Chris Hankin, Daniel Le M'etayer