Variable binding operators in transition system specifications by