doi          = {10.1017/cbo9780511976971.003},
 doi          = {10.1007/bf01622878},
 doi          = {10.1016/0304-3975(87)90045-4},
 doi          = {10.1016/s0304-3975(99)00299-6},
 doi          = {10.1145/2603088.2603126},
 doi          = {10.1142/s0217751x89001503},
 doi          = {10.1017/cbo9780511629150.012},
 doi          = {10.1016/s0022-4049(03)00069-0},
 doi          = {10.1016/0304-3975(94)00108-1},
 doi          = {10.1007/978-1-4757-4721-8},
 doi          = {10.1016/0022-4049(76)90013-x},