About Some Properties of Definite, Reverse-Definite and Related Automata. - Abraham Ginzburg (IEEE Trans. Electron. Comput., 1966)

A Procedure for Checking Equality of Regular Expressions. - Abraham Ginzburg (J. ACM, 1967)

Control Nets for Parallel Processing. - Michael Yoeli; Abraham Ginzburg (IFIP Congress, 1980)

Vector Addition Systems and Regular Languages. - Abraham Ginzburg; Michael Yoeli (J. Comput. Syst. Sci., 1980)

Reducibility of Synchronization Structures. - Abraham Ginzburg; Michael Yoeli (Theor. Comput. Sci., 1985)