ACM SIGPLAN NOTICES, vol. 43, no. 9, page. 353 - 365, 2008-09
ACM SIGPLAN NOTICES, vol. 42, no. 9, page. 191 - 202, 2007-09