T. Lyon et al.: "The Basics of Display Calculi"; KRITERION - Journal of Philosophy, 31 (2017), 2; 57 - 101.