1. Abramsky, S., Gay, S., Nagarajan, R.: Interaction categories and the foundations of typed concurrent programming. In: Proceedings of the 1994 Marktoberdorf Summer School. NATO ASI Series. Springer (1995)
2. Alexiev, V.: Applications of linear logic to computation: an overview. TR93-18, Univ. of Alberta, Canada (1993)
3. Baez, J.: Categories in control. Talk at Erlangen University. Downloadable as johncarlosbaez.wordpress.com/2014/02/06/categories-in-control (2014)
4. Baez, J., Erbele, J.: Categories in control. Downloadable as arXiv.1405.6881v1[math.CT] (2014)
5. Brown, C.: Relating Petri nets to formulae of linear logic. LFCS Report Series ECS-LFCS-89-87, Univ. of Edinburgh (1989)