"A Proof Environment for Teaching Mathematics."

Richard Sommer, Gregory Nuckols (2004)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics