Kees Dekker: Formula manipulation in ALGOL 68 and application to Routh's algorithm. Computing 26(2): 167-187 (1981)