Qian, S.; de Groote, P.; Amblard, M. Modal Subordination in Type Theoretic Dynamic Logic. LiLT 2016, 14.