Telefona gönder: Rechnerunterstützung formaler Beweissprachen / Matthias Anlauff.