doi          = "10.1145/325694.325702",
 doi          = "10.1109/CSFW.2004.17",
 doi          = "10.1109/LICS.2000.855770",
 doi          = "10.1007/11547662\unhbox \voidb@x \kern 0.06em\vbox {\hrule width0.5em}9",
 doi          = "10.1007/s10009-006-0005-y",
 doi          = "10.4204/EPTCS.96.8",
 doi          = "10.1006/inco.1994.1047",
 doi          = "10.1016/S0304-3975(03)00315-3",
 doi          = "10.1145/1040305.1040313",
 doi          = "10.1007/11691372\unhbox \voidb@x \kern 0.06em\vbox {\hrule width0.5em}20",
 doi          = "10.1145/268946.268976",
 doi          = "10.1016/S0167-6423(99)00024-6",
 doi          = "10.1109/JSAC.2002.806121",
 doi          = "10.3233/JCS-1996-42-304",
 doi          = "10.1109/CSFW.1997.596807",