INFORMATION AND COMPUTATION, vol. 209, no. 12, page. 1519 - 1535, 2011-12
INFORMATION SYSTEMS, vol. 36, no. 4, page. 808 - 823, 2011-06
JOURNAL OF FUNCTIONAL PROGRAMMING, vol. 21, page. 21 - 58, 2011-01