Secure information flow in object oriented languages. - William Wing-Ho Chung (2004)