The Formal Grammar of Switch-Reference (RLE Linguistics B:Grammar)