1. Aczel, P.: Frege structures and the notions of proposition, truth and set. In: Barwise, J., Keisler, H., Kunen, K. (eds.) The Kleene Symposium, pp. 31–59. North Holland, Amsterdam (1980)
2. Aczel, P.: The strength of Martin-Löf’s intuitionistic type theory with one universe. In: Mietissen, S., Väänänen, J. (eds.) Proceedings of the Symposiums in Mathematical Logic in Oulu 1974 and Helsinki 1975, pp. 1–32. Department of Philosophy, University of Helsinki, Report no. 2 (1977)
3. Aczel, P., Feferman, S.: Consistency of the unrestricted abstraction principle using an intensional equivalence operator. In: Seldin, J.P., Hindley, J.R. (eds.) To H.B. Curry: Essays on Combinatory Logic, Lambda Calculus and Formalism, pp. 67–98. Academics Press, New York (1980)
4. Burgess, J.P.: Friedman and the axiomatization of Kripke’s theory of truth. In: Tennant, N. (ed.) Foundational Adventures: Essays in Honor of Harvey M. Friedman, pp. 125–148. College Publications, London (2014)
5. Cantini, A.: Notes on formal theories of truth. Zeitschrift für mathematische Logik und Grundlagen der Mathematik 35, 97–130 (1989)