Derivation of Distributed Programs in the Theory of Owicki and Gries: An Example