Premonoidal categories and a graphical view of programs (1997)

by A Jeffrey