"Computer-Supported Calculus."

Adi Ben-Israel, Robert Gilbert (2002)
a service of Schloss Dagstuhl - Leibniz Center for Informatics