Degen, J. W.; Werner, J. M. Towards Intuitionistic Dynamic Logic. LLP 2007, 15, 305-324.