Da-Hai Li

• Top-down and step-wise refinement of protocol specifications