Henri Korver M. P. A. Sellink A Formal Axiomatization for Alphabet Reasoning with Parametrized Processes. 30-42 1998 10 Formal Asp. Comput. 1 db/journals/fac/fac10.html#KorverS98