On modular algebraic protocol specification by J.J. Brunekreef