Type systems for computer algebra - Weber, Andreas 1972- (1993)