1. Lattice Theory. AMS, Providence (1967).
2. PQ-tree algorithms. Ph.D. thesis, University of California at Berkeley (1975).
3. Graph generation. M. Math. thesis, University of Waterloo (1977) (also available as CS-77/37, Dept. Comp. Sci., University of Waterloo).
4. Graph Theory. Addison Wesley, Reading, Mass. (1969).
5. A note on Runge-Kutta processes for quadratic derivative functions. In Proceedings of the Louisiana Conference on Combinatorics, Graph Theory, and Computing. Congressus Numerantium, Winnipeg 189–198.