Lomakin V. V., Zaitseva T. V., Putivtseva N. P., Petina M. A., Zaitsev I. M., “Formal methods of analysis and synthesis for decisions options during corporate information system development”, IJAST, vol. 29, no. 08, pp. 742 - 747, May 2020.