Theory and applications of models of computation: 10th International Conference, TAMC 2013, Hong Kong, China, May 20-22, 2013: proceedings - Lau, LC; Chan, HTH; Trevisan, L (2013)