Lattice Matrices - Yehoshafat Give'on (Inf. Control., 1964)

Transparent categories and categories of transition systems - Yehoshafat Give'on (SWCT, 1965)

On Some Properties of the Free Monoids with Applications to Automata Theory. - Yehoshafat Give'on (J. Comput. Syst. Sci., 1967)

Categories of Semimodules: The Categorical Structural Properties of Transition Systems. - Yehoshafat Give'on (Math. Syst. Theory, 1967)

Algebra Automata I: Parallel Programming as a Prolegomena to the Categorical Approach - Michael A. Arbib; Yehoshafat Give'on (Inf. Control., 1968)

Algebra Automata II: The Categorical Framework for Dynamic Analysis - Yehoshafat Give'on; Michael A. Arbib (Inf. Control., 1968)

Algebraic Structures in Linear Systems Theory. - Yehoshafat Give'on; Yechezkel Zalcstein (J. Comput. Syst. Sci., 1970)