doi          = {10.1145/1926385.1926409},
 doi          = {10.1016/S1571-0661(04)80802-8},
 doi          = {10.1007/978-3-662-44202-9\_11},
 doi          = {10.1145/2837614.2837632},
 doi          = {10.1145/3009837.3009863},
 doi          = {10.1145/2837614.2837670},
 doi          = {10.1145/3110282},
 doi          = {10.1145/3110284},
 doi          = {10.1145/3314221.3314627},
 doi          = {10.1145/3009837},
 doi          = {10.1145/3290328},
 doi          = {10.1017/S096012950007002X},
 doi          = {10.1017/S0956796816000162},
 doi          = {10.1145/2737924.2737968},
 doi          = {10.1007/978-3-319-30936-1\_21},
 doi          = {10.4230/LIPIcs.SNAPL.2015.274},
 doi          = {10.1145/1706299.1706342},
 doi          = {10.1007/978-3-662-45917-1\_10},
 doi          = {10.1145/1176617.1176755},
 doi          = {10.1145/3229061},
 doi          = {10.1007/978-3-642-00590-9\_1},