doi          = "10.4230/LIPIcs.CSL.2012.31",
 doi          = "10.1007/978-3-642-38946-7\_5",
 doi          = "10.1145/2159531.2159533",
 doi          = "10.1007/BFb0037097",
 doi          = "10.1006/inco.1996.0025",
 doi          = "10.1051/ita/2012012",
 doi          = "10.1006/inco.1995.1145",
 doi          = "10.1109/LICS.2010.49",
 doi          = "10.1007/BFb0014054",
 doi          = "10.1007/3-540-45413-6\_17",
 doi          = "10.1145/96709.96714",
 doi          = "10.2168/LMCS-8(1:10)2012",
 doi          = "10.1007/s00153-005-0314-y",
 doi          = "10.1007/BFb0022575",