1. Adamek, J., H. Herrlich, and G. Strecker. 1990. Abstract and concrete categories. New York, NY: Cambridge University Press.
2. Baianu, I.C. 1988. Computer models and automata theory in biology and medicine. In Mathematical Models in Medicine, ed. M. Witten, vol. 7, 1513–1577. New York, NY: Pergamon Press.
3. Baianu, I.C., R. Brown, and J.F. Glazebrook. 2007. Categorical ontology of complex spacetime structures: The emergence of life and human consciousness. Axiomathes 17:3–4, 209–222.
4. Burstall, R., and J. Goguen. 1977. Putting theories together to make specifications. In Proceedings of the 5th International Joint Conference on Artificial Intelligence, Department of Computer Science, Carnegie-Mellon University, ed. R. Reddy, 1045–1058.
5. Burstall, R., and J. Goguen. 1980. The semantics of Clear, a specification language. In Proceedings, 1979 Copenhagen Winter School on Abstract Software Specification, LNCS, ed. D. Bjorner, vol. 86, 292–332. Springer.