Computer Algebra: EUROCAL'83, European Computer Algebra Conference London