Freeness, Sharing, Linearity and Correctness - All at Once.

Maurice Bruynooghe, Michael Codish

Browse the full SAS paper archive.