A. Glenszczyk, “Monadic Fragments of Intuitionistic Control Logic”, B Sect Log, vol. 45, no. 3/4, pp. 143–153, Dec. 2016.