Nancy A. Lynch Edward K. Blum A Difference in Expressive Power Between Flowcharts and Recursion Schemes. 205-211 1979 12 Mathematical Systems Theory db/journals/mst/mst12.html#LynchB79