THEORETICAL COMPUTER SCIENCE, vol. 412, no. 39, page. 5211 - 5224, 2011-09-09
THEORETICAL COMPUTER SCIENCE, vol. 410, no. 38-40, page. 3975 - 3981, 2009-09-06