Programming with permissions in Mezzo. - Pottier, François; Protzenko, Jonathan (2013)