The Evolutionary Role of Variable Assignment and Its Impact on Program Verification. - Daniel E. Cooke; J. Nelson Rushton; Robert G. Watson (SEKE, 2006)

Normalize, transpose, and distribute: An automatic approach for handling nonscalars. - Daniel E. Cooke; J. Nelson Rushton; Brad Nemanich; Robert G. Watson; Per Andersen (ACM Trans. Program. Lang. Syst., 2008)