doi          = {10.1145/1810891.1810910},
 doi          = {10.1007/978-3-642-38592-6\_5},
 doi          = {10.1145/322374.322380},
 doi          = {10.1017/S0960129514000164},
 doi          = {10.1007/978-3-642-30065-3\_2},
 doi          = {10.1007/978-3-319-39570-8\_7},
 doi          = {10.1007/978-3-642-32940-1\_20},
 doi          = {10.1007/978-3-642-28869-2\_10},
 doi          = {10.1007/3-540-57208-2\_35},
 doi          = {10.1007/BFb0053567},
 doi          = {10.1145/1328438.1328472},
 doi          = {10.1007/978-3-642-40787-1\_8},
 doi          = {10.1007/978-3-642-21464-6\_7},
 doi          = {10.1007/978-3-662-43376-8\_9},
 doi          = {10.1007/978-3-642-40787-1\_25},
 doi          = {10.4204/EPTCS.162.3},
 doi          = {10.1016/j.entcs.2004.05.008},
 doi          = {10.1007/978-3-319-05119-2\_3},