The Evolutionary Role of Variable Assignment and Its Impact on Program Verification.

Daniel E. Cooke, J. Nelson Rushton, Robert G. Watson

Browse the full SEKE paper archive.