Theoretical and Mathematical Foundations of Computer Science Second International Conference, ICTMF 2011, Singapore, May 5-6, 2011. Selected Papers - Zhou, Qihai (Springer Berlin Heidelberg : Imprint: Springer, 2011)