This paper describes a categorical view of programs, based on Power and Robinson's premonoidal categories and Joyal, Street and Verity's monoidal traced categories.
This categorical model can be viewed graphically as a form of mixed data-flow and control-flow graphs, such as:
Of the existing models of programming, this paper's is closest to Milner's control structures, and especially to Gardner's name-free presentation.