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