doi          = "10.1017/S0960129510000150",
 doi          = "10.1016/j.jsc.2010.09.008",
 doi          = "10.1017/S0960129511000752",
 doi          = "10.1007/BFb0027240",
 doi          = "10.1109/LICS.2010.46",
 doi          = "10.1016/0890-5401(91)90052-4",
 doi          = "10.1007/3-540-45931-6_24",