Molnár, Bálint, András Benczúr, and András Béleczki. 2022. “Formal Approach to Modeling of Modern Information Systems”. International Journal of Information Systems and Project Management 4 (4):69-89. https://doi.org/10.12821/ijispm040404.