Total functional programming (2004)

by D A Turner
Venue:Journal of Universal Computer Science