Logic of multiparty systems - Holler, Manfred J. (Kluwer Academic Publishers, 1987)