"Language and program design for functional dependencies."

Mark P. Jones, Iavor S. Diatchki (2008)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics