doi          = "10.1007/s10990-007-9007-z",
 doi          = "10.1007/978-3-540-76637-7\_16",
 doi          = "10.1016/j.entcs.2009.07.090",
 doi          = "10.1145/1599410.1599446",
 doi          = "10.2168/LMCS-1(2:5)2005",
 doi          = "10.1145/2003476.2003498",
 doi          = "10.1145/351240.351262",
 doi          = "10.2307/2275572",
 doi          = "10.1007/3-540-44622-2\_19",
 doi          = "10.1145/1411203.1411206",
 doi          = "10.1145/91556.91622",
 doi          = "10.1007/978-3-642-12251-4\_18",
 doi          = "10.1145/96709.96714",
 doi          = "10.1017/S095679680000085X",
 doi          = "10.1017/S0956796800001775",
 doi          = "10.1016/j.ipl.2006.03.009",
 doi          = "10.1016/j.apal.2008.01.005",
 doi          = "10.1007/11417170\_20",
 doi          = "10.1109/LICS.2005.42",
 doi          = "10.2307/2275652",
 doi          = "10.1016/0304-3975(75)90017-1",
 doi          = "10.1007/978-3-642-59048-1\_9",
 doi          = "10.2307/2271658",
 doi          = "10.1007/BFb0066739",
 doi          = "10.1006/inco.1994.1093",