"An authoring tool for algebra-related domains."

Maria Virvou, Maria Moundridou (1999)
a service of Schloss Dagstuhl - Leibniz Center for Informatics