10.1016/j.entcs.2009.06.022