Total functional programming (2004)

by D A Turner
Venue:J. UCS