doi          = "10.1007/978-3-540-24611-4\_3",
 doi          = "10.1016/j.entcs.2009.12.024",
 doi          = "10.1016/j.entcs.2007.02.013",
 doi          = "10.1016/j.scico.2010.11.011",