Schröder, B.; Koepke, P. ProofML – Eine Annotationssprache für natürliche Beweise. JLCL 2003, 18, 428-441.