On modular algebraic protocol specification door J.J. Brunekreef