Molnár, B. .; Benczúr, A. .; Béleczki, A. . Formal Approach to Modeling of Modern Information Systems. IJISPM 2022, 4, 69-89.