Văn bản này: Rechnerunterstützung formaler Beweissprachen / Matthias Anlauff.