Design and Implementation of Symbolic Computation Systems: International Symposium Disco Italy April 1990 (Lecture Notes in Computer Science)