On modular algebraic protocol specification
On modular algebraic protocol specification / Johannes Jacobus Brunekreef