Protocol Engineering by Hartmut König & Hartmut K. Nig