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 (Feb. 2022), 69–89. DOI:https://doi.org/10.12821/ijispm040404.