Stepanov, S., & Shishkin, A. (2009). Using the static verification tools for checking the ScopeShell system. Numerical Methods and Programming (Vychislitel’nye Metody I Programmirovanie), 10(19), 22–33. Retrieved from https://en.num-meth.ru/index.php/journal/article/view/357