MAO

An early symbolic mathematics system.

[A. Rom, Celest Mech 1:309-319 (1969)].