Towards proving type safety of .NET CIL - Fruja, Nicu G. (Science of Computer Programming, 2008)