[1]
S. Abramsky and B. Coecke.
A categorical semantics of quantum protocols.
In *Proceedings of the 19th Annual IEEE Symposium on Logic in
Computer Science, LICS 2004*, pages 415–425. IEEE Computer Society Press,
2004.
Also available from: arXiv:quantph/0402130.

[2]
J. C. Baez and J. Dolan.
Higher-dimensional algebra and topological quantum field theory.
*Journal of Mathematical Physics*, 36(11):6073–6105, 1995.
Also available from: arXiv:q-alg/9503002.

[3]
E. S. Bainbridge.
Feedback and generalized logic.
*Information and Control*, 31:75–96, 1976.

[4]
M. Barr.
**-Autonomous Categories*.
Lecture Notes in Mathematics 752. Springer, 1979.

[5]
J. W. Barrett and B. W. Westbury.
Spherical categories.
*Advances in Mathematics*, 143:357–375, 1999.

[6]
J. Bénabou.
Introduction to bicategories, part I.
In *Reports of the Midwest Category Seminar*, Lecture Notes in
Mathematics 47, pages 1–77. Springer, 1967.

[7]
S. L. Bloom and Z. Ésik.
Axiomatizing schemes and their behaviors.
*Journal of Computer and System Sciences*, 31:375–393, 1985.

[8]
R. F. Blute, J. R. B. Cockett, R. A. G. Seely, and T. H. Trimble.
Natural deduction and coherence for weakly distributive categories.
*Journal of Pure and Applied Algebra*, 113(3):229–296, 1996.

[9]
V.-E. Căzănescu.
On context-free trees.
*Theoretical Computer Science*, 41:33–50, 1985.

[10]
V.-E. Căzănescu and G. Ştefănescu.
Towards a new algebraic foundation of flowchart scheme theory.
*Fundamenta Informaticae*, 13:171–210, 1990.
Also appeared as: INCREST Preprint Series in Mathematics 43,
Bucharest, 1987.

[11]
V.-E. Căzănescu and G. Ştefănescu.
Feedback, iteration and repetition.
In G. Păun, editor, *Mathematical aspects of natural and
formal languages*, pages 43–62. World Scientific, Singapore, 1995.
Also appeared as: INCREST Preprint Series in Mathematics 42,
Bucharest, 1988.

[12] V.-E. Căzănescu and C. Ungureanu. Again on advice on structuring compilers and proving them correct. Preprint Series in Mathematics 75, INCREST, Bucharest, 1982.

[13]
J. R. B. Cockett and R. A. G. Seely.
Weakly distributive categories.
*Journal of Pure and Applied Algebra*, 114(2):133–173, 1997.

[14]
Z. Ésik.
Identities in iterative and rational algebraic theories.
*Computational Linguistics and Computer Languages*, XIV:183–207,
1980.

[15]
P. J. Freyd and D. N. Yetter.
Braided compact closed categories with applications to low
dimensional topology.
*Advances in Mathematics*, 77:156–182, 1989.

[16]
P. J. Freyd and D. N. Yetter.
Coherence theorems via knot theory.
*Journal of Pure and Applied Algebra*, 78:49–76, 1992.

[17]
J.-Y. Girard.
Linear logic.
*Theoretical Computer Science*, 50:1–102, 1987.

[18]
M. Hasegawa.
*Models of Sharing Graphs: A Categorical Semantics of let and
letrec*.
PhD thesis, Department of Computer Science, University of Edinburgh,
July 1997.
Also available as LFCS Technical Report ECS-LFCS-97-360, School of Informatics, University of Edinburgh.

[19] A. Joyal and R. Street. The geometry of tensor calculus II. Unpublished draft, available from Ross Street's website.

[20] A. Joyal and R. Street. Braided monoidal categories. Mathematics Report 860081, Macquarie University, Nov. 1986.

[21] A. Joyal and R. Street. Planar diagrams and tensor algebra. Unpublished manuscript, available from Ross Street's website, Sept. 1988.

[22]
A. Joyal and R. Street.
The geometry of tensor calculus I.
*Advances in Mathematics*, 88(1):55–112, 1991.

[23]
A. Joyal and R. Street.
Braided tensor categories.
*Advances in Mathematics*, 102:20–78, 1993.

[24]
A. Joyal, R. Street, and D. Verity.
Traced monoidal categories.
*Mathematical Proceedings of the Cambridge Philosophical
Society*, 119:447–468, 1996.

[25]
L. H. Kauffman.
An invariant of regular isotopy.
*Transactions of the American Mathematical Society*,
318(2):417–471, 1990.

[26]
G. M. Kelly.
An abstract approach to coherence.
In S. Mac Lane, editor, *Coherence in Categories*, Lecture Notes
in Mathematics 281, pages 106–147. Springer, 1972.

[27]
G. M. Kelly and M. L. Laplaza.
Coherence for compact closed categories.
*Journal of Pure and Applied Algebra*, 19:193–213, 1980.

[28]
S. Mac Lane.
Natural associativity and commutativity.
*Rice University Studies*, 49:28–46, 1963.

[29]
S. Mac Lane.
*Categories for the Working Mathematician*.
Graduate Texts in Mathematics 5. Springer, 1971.

[30]
R. Penrose.
Applications of negative dimensional tensors.
In D. J. A. Welsh, editor, *Combinatorial Mathematics and its
Applications*, pages 221–244. Academic Press, New York, 1971.

[31]
K. Reidemeister.
*Knotentheorie*.
Springer, Berlin, 1932; Chelsea, New York, 1948.
English translation: *Knot Theory*, BCS Associates, 1983.

[32]
N. Saavedra Rivano.
*Catégories Tannakiennes*.
Lecture Notes in Mathematics 265. Springer, 1972.

[33]
P. Selinger.
Dagger compact closed categories and completely positive maps.
In *Proceedings of the 3rd International Workshop on Quantum
Programming Languages*, Electronic Notes in Theoretical Computer Science 170,
pages 139–163. Elsevier Science, 2007.

[34]
M. C. Shum.
Tortile tensor categories.
*Journal of Pure and Applied Algebra*, 93:57–110, 1994.

[35]
G. Ştefănescu.
An algebraic theory of flowchart schemes.
In *Proceedings of the 11th Colloquium on Trees in Algebra and
Programming, CAAP'86*, Lecture Notes in Computer Science 214, pages 60–73.
Springer, 1986.

[36]
G. Ştefănescu.
On flowchart theories, part I. the deterministic case.
*Journal of Computer and System Sciences*, 35(2):163–191, 1987.
Also appeared as: INCREST Preprint Series in Mathematics 39,
Bucharest, 1984 and
INCREST Preprint Series in Mathematics 7, Bucharest, 1985.

[37]
G. Ştefănescu.
On flowchart theories: Part II. the nondeterministic case.
*Theoretical Computer Science*, 52:307–340, 1987.
Also appeared as: INCREST Preprint Series in Mathematics 32,
Bucharest, 1985.

[38]
G. Ştefănescu.
Feedback theories (a calculus for isomorphism classes of flowchart
schemes).
*Revue Roumaine de Mathématiques Pures et Appliquées*,
35:73–79, 1990.
Also appeared as: INCREST Preprint Series in Mathematics 24,
Bucharest, 1986.

[39] G. Ştefănescu. Algebra of flownomials. Technical Report TUM-I9437, Technische Univerität München, 1994.

[40]
G. Ştefănescu.
*Network Algebra*.
Springer, 2000.

[41]
R. Street.
Low-dimensional topology and higher-order categories.
In *Proceedings of the International Category Theory Conference
(CT'95)*, 1995.
Available from http://www.mta.ca/~cat-dist/ct95.html.

[42]
V. G. Turaev.
*Quantum Invariants of Knots and 3-Manifolds*.
Studies in Mathematics 18. Walter De Gruyter & Co., Berlin, 1994.

[43]
D. N. Yetter.
Framed tangles and a theorem of Deligne on braided deformations of
tannakian categories.
In M. Gerstenhaber and J. D. Stasheff, editors, *Deformation
Theory and Quantum Groups with Applications to Mathematical Physics*,
Contemporary Mathematics 134, pages 325–349. Americal Mathematical Society,
1992.