doi          = "10.1016/j.entcs.2011.09.019",
 doi          = "10.1017/CBO9780511542725",
 doi          = "10.1007/978-0-387-77548-7",
 doi          = "10.1016/j.tcs.2010.01.022",
 doi          = "10.1016/j.entcs.2010.08.004",
 doi          = "10.1016/j.entcs.2008.10.016",
 doi          = "10.1145/584091.584093",