Pietro Ferrara, Francesco Logozzo, Manuel Fähndrich: Safer unsafe code for .NET. OOPSLA 2008: 329-346