The independence of control structures in abstract programming systems
scientific article; zbMATH DE number 3733224
scientific article