@TechReport(Hug02,
  Author="Hughes, Dominic J.D.",
  Title="A canonical graphical syntax for non-empty finite products and sums",
  Note="Technical report, available at 
        \texttt{http://boole.stanford.edu/~dominic/papers}.",
  Year=2002
)