Stepanov, S.V., and A.G. Shishkin. 2009. “Using the Static Verification Tools for Checking the ScopeShell System”. Numerical Methods and Programming (Vychislitel’nye Metody I Programmirovanie) 10 (19):22-33. https://en.num-meth.ru/index.php/journal/article/view/357.