Affine relationships among variables of a program
scientific article; zbMATH DE number 3558928