Higher-order and symbolic computation (Springer New York, 1988)