doi          = "10.1016/S1570-2464(07)80015-2",
 doi          = "10.1007/11944836\_26",
 doi          = "10.1016/j.jlap.2008.02.0005",
 doi          = "10.1016/0304-3975(82)90125-6",
 doi          = "10.1007/BF00370554",
 doi          = "10.1109/LICS.2001.932511",
 doi          = "10.1007/978-3-642-02716-1\_17",
 doi          = "10.1016/0304-3975(95)00136-0",
 doi          = "10.1145/268946.268950",
 doi          = "10.1016/0304-3975(90)90110-4",
 doi          = "10.1016/0890-5401(89)90031-X",
 doi          = "10.1007/s11225-008-9133-6",
 doi          = "10.1007/BFb0055090",
 doi          = "10.1006/inco.1999.2836",