Zaslat SMS: Functional programming and its applications : an advanced course / edited by J. Darlington, P. Henderson, D.A. Turner.