Correctness of programs with Pascal-like procedures without global variables
scientific article; zbMATH DE number 3848595
scientific article