Xiaolei Qian The Expressive Power of the Bounded-Iteration Construct. 631-656 1991 28 Acta Inf. 7 db/journals/acta/acta28.html#Qian91 http://dx.doi.org/10.1007/BF01178680