J. W. Degen and J. M. Werner, “Towards intuitionistic dynamic logic”, LLP, vol. 15, no. 4, pp. 305–324, Mar. 2007.