Advances in the Design of Symbolic Computation Systems door A. Miola