1. Abran A, Moore JW, Bourque P, Dupuise R, Tripp LL (2004) Software engineering body of knowledge. IEEE Computer Society, New York
2. Arbib M, Manes G (1974) Foundations of system theory: decomposable systems. Automatica 10(3):285–302
3. Arp R, Smith B, Spear AD (2015) Building ontologies with basic formal ontology. MIT Press, Cambridge
4. Baez J, Stay M (2011) Physics, topology, logic and computation: a Rosetta stone. In: Coecke B (ed) New structures for physics. Springer, Heidelberg, pp 95–168
5. Baez J, Fong B (2015) A compositional framework for passive linear networks. arXiv preprint 2015:1504.05625