Lichen Bao Sergey Bereg 469-478 2008 COCOA http://dx.doi.org/10.1007/978-3-540-85097-7_44 conf/cocoa/2008 db/conf/cocoa/cocoa2008.html#BaoB08