doi          = "10.1007/BFb0055109",
 doi          = "10.1145/1609956.1609960",
 doi          = "10.1145/342009.335438",
 doi          = "10.1145/62212.62213",
 doi          = "10.1109/MEMCOD.2011.5970519",
 doi          = "10.1007/978-3-642-19805-2\@uscore .24",
 doi          = "10.1016/j.entcs.2010.08.018",
 doi          = "10.1145/1926385.1926425",
 doi          = "10.1016/j.tcs.2005.10.032",
 doi          = "10.1145/2034773.2034805",
 doi          = "10.1007/3-540-45022-X\@uscore .5",
 doi          = "10.1016/S0304-3975(98)00359-4",
 doi          = "10.1145/512760.512766",
 doi          = "10.1145/1030083.1030124",