doi          = "10.1109/LICS.2004.1319636",
 doi          = "10.1016/0304-3975(87)90104-6",
 doi          = "10.1016/0890-5401(92)90006-2",
 doi          = "10.4204/EPTCS.26.3",
 doi          = "10.1017/S0960129512000096",
 doi          = "10.1017/S0960129506005251",
 doi          = "10.1016/j.entcs.2011.01.036",
 doi          = "10.1016/S0049-237X(08)70271-4",
 doi          = "10.1017/S096012951000006X",
 doi          = "10.1109/LICS.2011.26",
 doi          = "10.1017/S0305004100074338",
 doi          = "10.1051/ita:2002009",
 doi          = "10.1016/0022-4049(80)90101-2",
 doi          = "10.1016/j.jpaa.2012.03.026",
 doi          = "10.1016/j.entcs.2006.12.018",
 doi          = "10.1017/S0960129504004256",