Total Functional Programming (citeseerx.ist.psu.edu)