doi          = "10.1016/j.tcs.2004.03.032",
 doi          = "10.1016/j.entcs.2004.06.029",
 doi          = "10.1016/j.entcs.2006.05.004",
 doi          = "10.1007/3-540-45610-4\_13",
 doi          = "10.1145/115866.115890",
 doi          = "10.1017/S0956796808007144",
 doi          = "10.1016/j.tcs.2008.01.019",