Acta Informatica, vol. 50, no. 7-8, page. 359 - 380, 2013-12
ACM SIGPLAN NOTICES, vol. 48, no. 1, page. 219 - 231, 2013-01