doi          = "10.1016/j.tcs.2006.05.036",
 doi          = "10.1016/0167-2789(84)90249-5",
 doi          = "10.1007/3-540-45833-6\_19",