# 附录E 参考文献 #### 译注：文献名称用斜体标出 | | | | --- | --- | | [1] | Harold Abelson and Gerald?Jay Sussman with Julie Sussman. _[Structure and Interpretation of Computer Programs ("SICP")](http://mitpress.mit.edu/sicp/full-text/book/book.html)_. MIT Press, 2nd edition, 1996. | | [2] | Milton Abramowitz and Irene?A Stegun, editors. _[Handbook of Mathematical Functions: with Formulas, Graphs, and Mathematical Tables](http://store.yahoo.com/doverpublications/0486612724.html)_. Dover Publications, 1965. | | [3] | Per Bothner. [The Kawa Scheme system](http://www.gnu.org/software/kawa). | | [4] | William Clinger. _Nondeterministic call by need is neither lazy nor by name_. In <span>Proc ACM Symp Lisp and Functional Programming</span>, pages 226–234, 1982. | | [5] | R?Kent Dybvig. _[The Scheme Programming Language](http://www.scheme.com/tspl2d)_. Prentice Hall PTR, 2nd edition, 1996. | | [6] | Marc Feeley. [Gambit Scheme System](http://www.iro.umontreal.ca/~gambit). | | [7] | Matthias Felleisen. _Transliterating Prolog into Scheme_. Technical Report 182, Indiana U Comp Sci Dept, 1985. | | [8] | Matthias Felleisen, Robert?Bruce Findler, Matthew Flatt, and Shriram Krishnamurthi. _[How to Design Programs: An Introduction to Programming and Computing](http://www.htdp.org)_. MIT Press, 2001. | | [9] | Matthew Flatt. [MzScheme](http://www.plt-scheme.org/software/mzscheme). | | [10] | Daniel?P Friedman and Matthias Felleisen. _[The Little Schemer](http://www.ccs.neu.edu/~matthias/BTLS)_. MIT Press, 4th edition, 1996. | | [11] | Daniel?P Friedman and Matthias Felleisen. _[The Seasoned Schemer](http://www.ccs.neu.edu/~matthias/BTSS)_. MIT Press, 1996. | | [12] | Daniel?P Friedman, Mitchell Wand, and Christopher?T Haynes. _[Essentials of Programming Languages](http://mitpress.mit.edu/book-home.tcl?isbn=0262061457)_. MIT Press, McGraw-Hill, 1992. | | [13] | FSF. [Guile: Project GNU’s Extension Language](http://www.gnu.org/software/guile/guile.html). | | [14] | Erick Gallesio. [STk](http://kaolin.unice.fr/STk/STk.html). | | [15] | Ben Goetter. [Pocket Scheme for the H/PC and P/PC](http://www.angrygraycat.com/scheme/pscheme.htm). | | [16] | Christopher?T Haynes. _Logic continuations_. In <span>J Logic Program</span>, pages 157–176, 1987\. vol 4. | | [17] | Christopher?T Haynes and Daniel?P Friedman. _Engines Build Process Abstractions_. In <span>Conf ACM Symp Lisp and Functional Programming</span>, pages 18–24, 1984. | | [18] | Christopher?T Haynes, Daniel?P Friedman, and Mitchell Wand. _Continuations and Coroutines_. In <span>Conf ACM Symp Lisp and Functional Programming</span>, pages 293–298, 1984. | | [19] | J?A?H Hunter. _[Mathematical Brain-Teasers](http://store.yahoo.com/doverpublications/0486233472.html)_. Dover Publications, 1976. | | [20] | Aubrey Jaffer. [SCM](http://swissnet.ai.mit.edu/~jaffer/SCM.html). | | [21] | Shiro Kawai. [Gauche: A Scheme Implementation](http://www.shiro.dreamhost.com/scheme/gauche/). | | [22] | Sonya?E Keene. _Object-oriented Programming in Common Lisp: A Programmer’s Guide to CLOS_. Addison-Wesley, 1989. | | [23] | Richard Kelsey, William Clinger, and Jonathan Rees (eds). _[Revised?5 Report on the Algorithmic Language Scheme (R5RS)](http://www.schemers.org/Documents/Standards/R5RS/HTML/r5rs.html)_, 1998. | | [24] | Gregor Kiczales, Jim des Rivie?res, and Daniel?G Bobrow. _The Art of the Metaobject Protocol_. MIT Press, 1991. | | [25] | John McCarthy. _[A Basis for a Mathematical Theory of Computation](http://www-formal.stanford.edu/jmc/basis1/basis1.html)_. In P?Braffort and D?Hirschberg, editors, <span>Computer Programming and Formal Systems</span>. North-Holland, 1967. | | [26] | MIT Scheme Team. [MIT Scheme](http://www.swiss.ai.mit.edu/projects/scheme). | | [27] | NCSA. [The Common Gateway Interface](http://hoohoo.ncsa.uiuc.edu/cgi). | | [28] | Christian Queinnec. _[Lisp in Small Pieces](http://youpou.lip6.fr/queinnec/WWW/LiSP.html)_. Cambridge University Press, 1996. | | [29] | Thomas?L Saaty and Paul?C Kainen. _The Four-Color Problem: Assaults and Conquest_. Dover Publications, 1986. | | [30] | Manuel Serrano. [Bigloo](http://www-sop.inria.fr/mimosa/fp/Bigloo). | | [31] | Leon Sterling and Ehud Shapiro. _[The Art of Prolog](http://mitpress.mit.edu/book-home.tcl?isbn=0262193388)_. MIT Press, 2nd edition, 1994. | | [32] | Felix?L Winkelmann. [Chicken: A practical and portable Scheme system](http://www.call-with-current-continuation.org/chicken.html). | | [33] | Ramin Zabih, David McAllester, and David Chapman. _Non-deterministic Lisp with dependency-directed backtracking_. In <span>AAAI-87</span>, pages 59–64, 1987. |