A wireless link protocol: design by refinement.