M. Cerulli, A. Chioccariello, and E. Lemut. 5th CERME conference - congress of European Society for Research in Mathematics Education, Larnaca, Cyprus, (2007)
P. Wadler. FPCA '89: Proceedings of the fourth international conference on Functional programming languages and computer architecture, page 347--359. New York, NY, USA, ACM, (1989)