Nepomniaschy V., Anureev I., Dubranovsky I., Promsky A. A three-level approach to C# program verification // Computer Science. — 2004. — # 20 — P. 61-85
Dubranovsky I. An extensible analyzer of subroutines in imperative languages // Computer Science. — 2001. — # 15 — P. 65-81
