On the expressive power of programming languages. Science of computer programming (1991)

by Matthias Felleisen