Verification and refinement of distributed programs in a fair framework | Publicación