10.1016/j.jcss.2011.12.018