doi          = {10.1145/319628.319634},
 doi          = {10.4204/EPTCS.323.13},
 doi          = {10.1007/978-3-319-89363-1_2},
 doi          = {10.5381/jot.2011.10.1.a6},
 doi          = {10.1007/978-3-642-24485-8_22},
 doi          = {10.4204/EPTCS.93.1},
 doi          = {10.1007/978-3-319-79108-1},
 doi          = {10.1145/1925844.1926428},
 doi          = {10.1016/j.tcs.2007.06.004},
 doi          = {10.5381/jot.2017.16.1.a2},
 doi          = {10.1145/3191697.3191717},
 doi          = {10.1145/3191697.3191714},
 doi          = {10.1017/CBO9780511525896},