Also cowrote "Algebraic structure theory of sequential machines" (1966) which —if, along with its successor Krohn-Rhodes theory seems to be largely impractical— is an interesting path-not-taken in CS...