Molnár, B. ., A. . Benczúr, and A. . Béleczki. “Formal Approach to Modeling of Modern Information Systems”. International Journal of Information Systems and Project Management, vol. 4, no. 4, Feb. 2022, pp. 69-89, doi:10.12821/ijispm040404.