On abstraction and the expressive power of programming languages
scientific article; zbMATH DE number 609586