参考文献
1. Knuth 著,有澤・和田監訳,「The Art of Computer Programming 1」,アスキー (2004)
2. Biggs, Lloyd, Wilson 著,一松・秋山・恵羅訳,「グラフ理論への道(Graph Theory 1736-1936)」,地人書館 (1986)
3. Abe, Braun, Noguti, Go, Comput. Chem. 8, 239-247 (1984)
4. Güntert, Mumenthaler, Wüthrich, J. Mol. Biol. 273, 283-298 (1997)
5. 東海林暁貴 東京薬科大学修士論文 (2014)
6. 浜田隆資・秋山仁著,「グラフ論要説」,槙書店 (1982)
7. Graham 著,野田訳,「On Lisp」,オーム社 (2007)
8. Nrving 著,杉本訳,「実用 Common Lisp(Paradigms of Artificial Intelligence Programming: Case Studies in Common Lisp)」,翔泳社 (2010)
9. 横田博著,「はじめての Maxima」,工学社(2006);数式処理システム Maxima は Common Lispで実装されている
10. Friedmann, Eastlund 著,中野訳,「定理証明手習い(The little Prover)」,ラムダノート(2017)
11. Sussman, Abelson, Sussman 著,和田訳,「計算機プログラムの構造と解釈(Structure and Interpretation of Computer Programs)第 2 版」,ピアソン (2000)
12. Sperber, Dybvig, Flatt, Straaten (eds.),「Revised6 Report on the Algorithmic Language Scheme」 (2007)
13. Sipser 著,太田・田中監訳,「計算理論の基礎(Introduction to the Theory of Computation)3」,共立出版 (2008)
14. Ullmann, J. ACM 23, 31-42 (1976)
15. 藤芳, 数理解析研究所講究録 2040, 1-9 (2017)
16. Raymond, Gardiner, Willett, Comput. J. 45, 631-644 (2002)
17. Yamaguchi, Aoki, Mamitsuka, Information Processing Letters 92, 57-63 (2004)