Guohui Lin: Preface. Theor. Comput. Sci. 507: 1 (2013)