MLA

Higher-order and Symbolic Computation. Boston: Springer US, .

APA

Higher-Order and Symbolic Computation. Boston: Springer US.

Chicago

Higher-Order and Symbolic Computation. Boston: Springer US.