S. Qian, P. de Groote, and M. Amblard, “Modal Subordination in Type Theoretic Dynamic Logic”, LiLT, vol. 14, Aug. 2016.