Gould, Hartmann, Ruškuc, 2016. Free Monoids are Coherent 60.. https://doi.org/10.1017/s0013091516000079