PRORAB
One of series
Algebraic Transformation PRORAB (5300)
Leningrad algebraic compiler