1. Graph Theory, Addison-Wesley, Reading, MA (1969).
2. Boolean Operations on Graphs.
3. Homomorphisms of Graphs and Automata, Doctorial thesis University of Michigan, Ann Arbor, 1966.
4. “Subdirect Representations of Graphs,” Colloq. Math. Soc. Janos Bolyai, North-Holland Amsterdam, 1973, Vol. 10, Infinite and Finite Sets, pp. 1199–1226.