http://www.jucs.org/jucs_10_7/total_functional_programming
or
http://www.mpi-sws.org/~skilpat/plerg/papers/turner-total-fp...