A formal axiomatization for alphabet reasoning with parametrized processes by H.P. Korver