"Literate Mathematical Development of a Revision Management System."

Matthias Weber (1994)
a service of Schloss Dagstuhl - Leibniz Center for Informatics