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