Molnár, B. ., Benczúr, A. . and Béleczki, A. . (2022) “Formal approach to modeling of modern information systems”, International Journal of Information Systems and Project Management, 4(4), pp. 69–89. doi: 10.12821/ijispm040404.