Write B-Method (B-Notation) machine specification for Paper Round

Develop a B specification using B-Method Notation (similar to Z-Notation) of a Newspaper Shop's newspaper & magazine delivery system for the houses in a single street. In other words, a paper round system for newspapers & magazines. This system should be developed using the B tools that allow use of the B Language and B-Method (preferably Atelier B and ProB).