Higher-Order and Symbolic Computation (Springer US)