"Safer unsafe code for .NET."

Pietro Ferrara, Francesco Logozzo, Manuel Fähndrich (2008)
a service of Schloss Dagstuhl - Leibniz Center for Informatics