Information Flow, Distributed Systems, and Refinement, by Example