doi = "10.1145/828.833", doi = "10.1016/j.ic.2007.10.004", doi = "10.4204/EPTCS.54.4", doi = "10.1016/j.entcs.2007.11.006", doi = "10.1.1.32.7925", doi = "10.1007/s00236-006-0011-2", doi = "10.1007/11817949\_10", doi = "10.1007/978-3-540-95891-8\_20", doi = "10.1007/s00236-002-0094-3", doi = "10.1016/0890-5401(87)90013-7", doi = "10.1007/BF00271640", doi = "10.1145/501983.501998", doi = "10.1007/s002360050026", doi = "10.1007/3-540-57787-4\_18", doi = "10.1016/S1571-0661(05)01225-9", doi = "10.1016/S0304-3975(01)00300-0", doi = "10.1007/BF01887209",