1. An Introduction to Effectus Theory;Cho;arXiv:1512.05813 [quant-ph],2015
2. Quantum Picturalism;Coecke;Contemporary Physics,2010
3. Normalization for Planar String Diagrams and a Quadratic Equivalence Algorithm;Delpeuch;arXiv:1804.07832 [cs],2018
4. The Synchronous Data Flow Programming Language LUSTRE;Halbwachs;Proceedings of the IEEE,1991
5. A Relational Model of Non-Deterministic Dataflow;Hildebrandt;Mathematical Structures in Computer Science,2004