INFORMATION SYSTEMS, vol. 38, no. 3, page. 286 - 301, 2013-05
JOURNAL OF FUNCTIONAL PROGRAMMING, vol. 19, page. 107 - 142, 2009-01