Thomas H. Austin: Designing a Secure Programming Language. Handbook of Information and Communication Security 2010: 771-785