1. Martín Abadi and Michael Isard . 2015 . Timely Dataflow: A Model. In Formal Techniques for Distributed Objects, Components, and Systems - 35th IFIP WG 6.1 International Conference, FORTE 2015, Held as Part of the 10th International Federated Conference on Distributed Computing Techniques, DisCoTec 2015, Grenoble, France, June 2-4, 2015, Proceedings(Lecture Notes in Computer Science, Vol. 9039), Susanne Graf and Mahesh Viswanathan (Eds.). Springer , 131–145. https://doi.org/10.1007/978-3-319-19195-9_9 Martín Abadi and Michael Isard. 2015. Timely Dataflow: A Model. In Formal Techniques for Distributed Objects, Components, and Systems - 35th IFIP WG 6.1 International Conference, FORTE 2015, Held as Part of the 10th International Federated Conference on Distributed Computing Techniques, DisCoTec 2015, Grenoble, France, June 2-4, 2015, Proceedings(Lecture Notes in Computer Science, Vol. 9039), Susanne Graf and Mahesh Viswanathan (Eds.). Springer, 131–145. https://doi.org/10.1007/978-3-319-19195-9_9
2. Samson Abramsky and Bob Coecke . 2009. Categorical quantum mechanics. Handbook of quantum logic and quantum structures 2 ( 2009 ), 261–325. arXiv:0808.1023 Samson Abramsky and Bob Coecke. 2009. Categorical quantum mechanics. Handbook of quantum logic and quantum structures 2 (2009), 261–325. arXiv:0808.1023
3. Peter Aczel and Nax Mendler . 1989. A final coalgebra theorem . In Category theory and computer science . Springer , 357–365. Peter Aczel and Nax Mendler. 1989. A final coalgebra theorem. In Category theory and computer science. Springer, 357–365.
4. Introduction to coalgebra;Adámek Jiří;Theory and Applications of Categories,2005
5. Free algebras and automata realizations in the language of categories;Adámek Jiří;Commentationes Mathematicae Universitatis Carolinae,1974