The flyleaf (first ed, 3rd printing, 1986) says This book was set in TeX by Sarah Fliegelmann at the Weizmann Institute of Science and printed and

The flyleaf (first ed, 3rd printing, 1986) says This book was set in TeX by Sarah Fliegelmann at the Weizmann Institute of Science and printed and bound by MIT Press That might be another lead.