On the computational complexity of imperative programming languages
scientific article; zbMATH DE number 2083407
scientific article