Refined protocols specification.