10.1016/j.entcs.2005.01.021