doi          = {10.2168/lmcs-8(4:4)2012},
 doi          = {10.1145/2808098.2808102},
 doi          = {10.1007/978-1-4471-0963-1},
 doi          = {10.1007/978-3-642-04652-0\_5},
 doi          = {10.4230/lipics.types.2014.187},
 doi          = {10.1112/jlms/s2-47.2.193},
 doi          = {10.1007/978-3-642-32347-8\_17},