1. Arbib, M.A., "Automatic theory and control theory: a rapprochement." Automatica, 3, 1966, pp. 161–189.
2. Arbib, M.A. and E.G. Manes, Arrows, Structures, and Functors. Academic Press, New York, 1975.
3. Cellier, F.E. and D.W. Yandell, "SAPS-II: a new implementation of the systems approach problem solver." Intern. J. of General Systems, 13, No. 4, 1987, pp. 307–322.
4. Elias, D., General Systems Problem-Solver: A Framework for Integrating Systems Methodologies. Ph.D. Dissertation, Thomas J. Watson School, SUNY-Binghamton, 1988.
5. Goldblatt, R., Topoi: The Categorical Analysis of Logic. North-Holland, New York, 1979.