Paper Behavioural and Abstractor Specifications for a Dynamic Logic with Binders and Silent Transitions accepted for presentation at DaLi 2019.