Affine Relationships Among Variables of a Program.

Michael Karr Affine Relationships Among Variables of a Program. 133-151 1976 6 Acta Inf. db/journals/acta/acta6.html#Karr76