Zaslat SMS: Theory and applications of models of computation : 10th International Conference, TAMC 2013, Hong Kong, China, May 20-22, 2013 : proceedings / T-H. Hubert Chan, Lap Chi Lau, Luca Trevisan (eds.).