Tim Menzies David Owen Julian Richardson 54-60 2007 40 IEEE Computer 1 http://doi.ieeecomputersociety.org/10.1109/MC.2007.37 db/journals/computer/computer40.html#MenziesOR07