Regular equivalence and dynamic logic - Marx, Maarten (Inst. for Logic, Language and Computation, 2002)