Static analysis of .NET programs using rewriting rules - H. A. Mamedov; Yu. Doroshenko; R. S. Shevchenko (Problems in programming, 2020)