doi = "10.1051/ita:2007028", doi = "10.1016/j.entcs.2009.07.084", doi = "10.1017/s0960129505004822", doi = "10.1007/978-3-540-71067-7\_12", doi = "10.1016/j.ic.2005.08.005", doi = "10.1007/978-3-642-10452-7\_7",