Variable binding operators in transition system specifications door