1. M. A. Arbib and Y. Give'on: Algebra automata I: Parallel programming as prolegomenon to the categorical approach, Information and Control
12 (1968), 331–345.
2. COINS Technical Report;M. A. Arbib,1978
3. COINS Tech. Report;M. A. Arbib,1978
4. J. W. Backus: Can programming be liberated from the Von Neumann style? A functional style and its algebra of programs, Communications of the ACM
21 (1978), 613–641.
5. C. C. Elgot: Algebraic theories and program semantics, in Symposium on Semantics of Algorithmic Languages, (E. Engeler, Ed.), Springer Lecture Notes in Mathematics, 188 (1971), 77–88.