ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS, vol. 31, no. 1, 2008-12
ACM SIGPLAN NOTICES, vol. 43, no. 9, page. 353 - 365, 2008-09