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