"A Computer Environment for Writing Ordinary Mathematical Proofs."

David McMath, Marianna Rozenfeld, Richard Sommer (2001)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics