American Mathematical Society
Monografia (1976) Colloquio internazionale sulle teorie combinatorie : (Roma, 3–15 settembre 1973)
Monografia (1979) TEX and METAFONT : new directions in typesetting
Monografia (1984) Automated theorem proving: after 25 years : [proceedings of the Special Session on Automatic Theorem Proving, 89th Annual Meeting of the American Mathematical Society, held in Denver, Colorado, January 5–9, 1983]