1. E. S. Bainbridge, “Feedback and Generalized Logic,” Information and Control, 31, No. 1, May 1976, pp. 75–96.
2. S. Ginsburg, “Some Remarks on Abstract Machines,” Transactions of the American Mathematical Society, 96, pp. 400–444, 1970.
3. J. Béhabou, “Introduction to Bicategories,” In: Reports of the Midwest Category Seminar, Lecture Notes in Mathematics 47, Springer-Verlag, New York, pp. 1–77, 1967.
4. Lecture Notes in Computer Science;S Alagic,1975
5. J. W. Thatcher, “Generalized2 Sequential Machine Maps,” Journal of Computer and System Sciences, 4, pp. 339–367, 1970.