David J. Pym: Editorial. J. Log. Comput. 13(5): 633-638 (2003)