"Information flow inference for ML."

François Pottier, Vincent Simonet (2002)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics