Arbiband Give'on. Algebra Automata I: Parallel Programming as a Prolegomena to the Categorical Approach. Elsevier BV, 1968, doi:10.1016/s0019-9958(68)90374-4.