doi          = "10.1109/SEFM.2006.27",
 doi          = "10.1007/978-3-642-15643-4\_6",
 doi          = "10.1145/2038642.2038654",
 doi          = "10.1007/978-3-540-85361-9\_16",
 doi          = "10.1145/2038642.2038663",
 doi          = "10.1007/978-3-642-24372-1\_12",
 doi          = "10.1007/978-3-642-20398-5\_34",
 doi          = "10.1007/978-3-642-22256-6\_11",
 doi          = "10.1109/LICS.2005.53",
 doi          = "10.1007/978-3-540-30101-1\_15",
 doi          = "10.1007/978-3-540-69507-3\_26",
 doi          = "10.1007/978-3-642-24372-1\_31",
 doi          = "10.1007/978-3-642-22110-1\_41",
 doi          = "10.1007/3-540-48224-5\_33",
 doi          = "10.1007/3-540-45694-5\_11",
 doi          = "10.1007/978-3-540-24597-1\_29",
 doi          = "10.1109/FSCS.1990.89597",
 doi          = "10.1007/978-3-540-75596-8\_33",
 doi          = "10.1145/253769.253801",