1. Wymore, W. (1993). Model-based systems engineering. Boca Raton, FL: CRC Press.
2. Rashevsky, N. (1961). Biological epimorphism, adequate design, and the problem of regeneration. Bulletin of Mathematical Biology, 23(2), 109–113.
3. MacLane, S. (1978). Categories for the working mathematician. New York: Springer.
4. MacLane, S., & Birkhoff, G. (1999). Algebra. Providence, RI: AMS Chelsea.
5. Univalent Foundations Program. (2013). Homotopy type theory. Institute for Advanced Study. Retrieved from
https://homotopytypetheory.org/book