. . . . . . . "Characterising Renaming within OCaml\u2019s Module System: Theory and Implementation (PDF)"^^ . .