Zaslat SMS: Theoretical and mathematical foundations of computer science : second International Conference, ICTMF 2011, Singapore, May 5-6, 2011, selected papers / Qihai Zhou (ed.).