APA引文

Higher-Order and Symbolic Computation. Springer US.

芝加哥风格引文

Higher-Order and Symbolic Computation. Springer US.

MLA引文

Higher-Order and Symbolic Computation. Springer US.

警告：这些引文格式不一定是100％准确.