Loginov И. В. “Formalization of IT-Services Specifications”. Vestnik IzhGTU Imeni M.T. Kalashnikova, no. 3, Sept. 2012, pp. 140-3, https://izdat.istu.ru/index.php/vestnik/article/view/2579.