1. [Barwise 83] Barwise, J. and Perry, J.: Situations and Attitudes, MIT Press (1983), 土屋,鈴木,白井,片桐,向井訳,状況と態度,産業図書(1992)
2. [Bertalanffy 73] Bertalanffy, von L.: 一般システム理論-その基礎.発展.応用, 長野敬,太田邦昌訳. みずず書房 (1973)
3. Social processes and proofs of theorems and programs
4. [Dennett 87] Dennett, D.: Cognitive wheels: the frame problem of AI, in Pylyshyn, Z. ed., The Robot's Dilemma, Ablex Publishing Co. (1987)
5. [Des Cartes 37] Des Cartes, R.: Discourse de la méthode, 谷川多佳子訳:方法序説. 岩波書店, 1997 (1637)