Pātuhitia tēnei: Rechnerunterstützung formaler Beweissprachen / Matthias Anlauff.