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