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