Type systems for computer algebra - Weber, Andreas (Universität Tübingen, 1993)