The formal grammar of switch-reference. (2014)