Commercial version available from Symbolics (1988)

by Macsyma Reference Manual