Title: Top-down and step-wise refinement of protocol specifications
First published: 1986