Tristan Crolard Samuel Lacas Pierre Valarcher On the Expressive Power of the Loop Language. 46-57 2006 13 Nord. J. Comput. 1-2 db/journals/njc/njc13.html#CrolardLV06