10.1016/j.jcss.2009.11.008