The Logic MPLomega. - C. P. J. Koymanns; Gerard R. Renardel de Lavalette (Algebraic Methods, 1987)