Modula-2 Algebra System. Runs on IBM PC, Atari, Amiga.
FTP
["Modula-2 Algebra System", H. Kredel, Proc DISCO 90 Capri, LNCS 429, Springer 1990, pp270-271].