Specification and Refinement of Finite Dataflow Networks - a Relational Approach