Zhenbang Chen Abdel Hakim Hannousse Dang Van Hung Istvan Knoll Xiaoshan Li Zhiming Liu Yang Liu Qu Nan Joseph C. Okika Anders P. Ravn Volker Stolz Lu Yang Naijun Zhan 116-145 2007 CoCoME http://dx.doi.org/10.1007/978-3-540-85289-6_6 conf/dagstuhl/2007cocome db/conf/dagstuhl/cocome2007.html#ChenHHKLLLNORSYZ07