TY  - RPRT
TI  - Point-and-write --- Documenting Formal Mathematics by Reference
AU  - Carst Tankink
AU  - Christoph Lange
AU  - Josef Urban
PY  - 2012
UR  - https://arxiv.org/abs/1204.5094
ID  - 1204.5094
ER  -