A Typed Framework for Program Analysis. - Ozan Hafizogullari (2001)