Behavioural and Abstractor Specifications for a Dynamic Logic with Binders and Silent Transitions. - Rolf Hennicker; Alexander Knapp; Alexandre Madeira; Felix Mindt (DaLí, 2019)