Niklas Broberg: Practical, Flexible programming with Information Flow Control. University of Gothenburg, Sweden 2011