AMS-TeX was originally written by Michael Spivak, and was used by the AMS from 1983 to 1985.
The AMS-TeX system, developed by Michael Spivak, was employed by the American Mathematical Society between 1983 and 1985.