Glenszczyk, A. Monadic Fragments of Intuitionistic Control Logic. B Sect Log 2016, 45, 143–153.