doi          = "10.1109/LICS.2004.1319636",
 doi          = "10.1016/j.entcs.2011.01.002",
 doi          = "10.1007/BF01351796",
 doi          = "10.1088/1367-2630/13/6/063001",
 doi          = "10.1016/j.aop.2009.09.013",
 doi          = "10.1016/j.entcs.2006.12.018",
 doi          = "10.1016/j.entcs.2011.01.031",
 doi          = "10.1007/s10701-010-9410-x",