doi          = "10.3217/jucs-007-08-0710",
 doi          = "10.1109/ISORCW.2011.46",
 doi          = "10.1145/1189748.1189753",
 doi          = "10.1007/BF01384313",
 doi          = "10.1016/j.entcs.2004.02.086",
 doi          = "10.1145/1146238.1146255",