doi          = "10.1145/1411260.1411264",
 doi          = "10.1145/1217975.1217999",
 doi          = "10.1145/944746.944713",
 doi          = "10.1145/609769.609771",
 doi          = "10.1017/S095679680700634X",
 doi          = "10.1145/1327452.1327492",
 doi          = "10.1145/1773912.1773922",
 doi          = "10.1145/367177.367199",
 doi          = "10.1017/S0956796801004208",
 doi          = "10.1145/351240.351266",
 doi          = "10.1007/978-3-540-39724-3\_29",
 doi          = "10.1007/BFb0030541",
 doi          = "10.1093/comjnl/bxh141",
 doi          = "10.1007/978-3-642-03359-9\_6",
 doi          = "10.1007/978-3-642-34407-7\_9",
 doi          = "10.1111/j.1467-8535.2011.01241.x",
 doi          = "10.1016/j.entcs.2006.09.018",
 doi          = "10.1007/978-3-540-69061-0",