"Transforming policies into mechanisms with infokernel."

Andrea C. Arpaci-Dusseau et al. (2003)
a service of Schloss Dagstuhl - Leibniz Center for Informatics