On the Expressive Power of Programming Languages
citeseerx.ist.psu.edu