ピーター・アクゼル
Peter Aczel (1978), A General Church-Rosser Theorem, http://www.ens-lyon.fr/LIP/REWRITING/MISC/AGeneralChurch-RosserTheorem.pdf
Peter Aczel (1980), J.Barwise, H.J. Keisler, K. Kunen, ed., “Frege structures and the notions of proposition, truth and set”, The Kleene Symposium: Proceedings of the Symposium Held June 18-24, 1978 at Madison, Wisconsin, U.S.A (North-Holland) (フレーゲ哲学の最新像(2007)に前半部妙訳と解説が収録されている。)
Peter Aczel, foreward by Jon Barwise (1988), Non-well-founded sets, http://standish.stanford.edu/pdf/00000056.pdf