Glenszczyk, A. Monadic Fragments of Intuitionistic Control Logic. B Sect Log 2016, 45 (3/4), 143–153. https://doi.org/10.18778/0138-0680.45.3.4.01.