.

Published in: Frontiers Comput. Sci. China (2010)