Stepanov, S. and Shishkin, A. 2009. Using the static verification tools for checking the ScopeShell system. Numerical Methods and Programming (Vychislitel’nye Metody i Programmirovanie). 10, 19 (Jan. 2009), 22–33.