doi          = "10.1016/j.tcs.2006.08.032",
 doi          = "10.1145/360204.360213",
 doi          = "10.1006/inco.1998.2740",
 doi          = "10.1007/11513988\_27",
 doi          = "10.1007/978-3-642-02348-4\_11",
 doi          = "10.1007/3-540-15976-2\_22",
 doi          = "10.1007/978-3-540-77505-8\_12",
 doi          = "10.1109/TDSC.2007.1005",
 doi          = "10.1109/LICS.1990.113755",
 doi          = "10.1007/978-3-540-73147-4\_10",
 doi          = "10.1016/S0747-7171(89)80025-2",
 doi          = "10.1016/j.ipl.2005.11.008",
 doi          = "10.1007/978-3-642-03829-7\_1",
 doi          = "10.1007/3-540-08442-8\_106",
 doi          = "10.1007/978-3-540-32033-3\_23",
 doi          = "10.1016/j.entcs.2007.02.054",
 doi          = "10.1145/151261.151265",
 doi          = "10.1007/978-3-642-13824-9\_18",
 doi          = "10.2168/LMCS-6(3:12)2010",