Verifying information flow and metaprogramming in dynamically typed languages - Lester, M (University of Oxford, 2015)