Stephan Merz, Jun Pang, Jin Song Dong: Editorial. Formal Aspects Comput. 28(3): 343-344 (2016)