Applications of computer algebra (Kluwer, 1985)