@misc {IOPORT.70744216,
    author       = {Cooke, Daniel E. and Rushton, J. Nelson and Watson, Robert G.},
    title        = {The evolutionary role of variable assignment and its impact on program verification},
    howpublished = {SEKE, 315-320 (2006).},
    year         = {2006},
    identifier   = {70744216},
}