"Tabular Expressions and Total Functional Programming."

Baltasar Trancón y Widemann, David Lorge Parnas (2007)
a service of Schloss Dagstuhl - Leibniz Center for Informatics