Towards proving type safety of .NET CIL
scientific article; zbMATH DE number 5318689