ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS, vol. 31, no. 1, 2008-12
ACM TRANSACTIONS ON INFORMATION SYSTEMS, vol. 30, no. 4, 2012-11