A language for mathematical language management - Steven Kieffer; Jeremy Avigad; Harvey Friedman (CoRR, 2008)