Theory of M-system. - ESSERT, MARIO; KUZMANOVIĆ, IVANA; VAZLER, IVAN; ŽILIĆ, TIHOMIR (Logic Journal of the IGPL, 2017)