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