Modelling information-flow in formal organisations