Modelling Information-Flow In Formal Organisations