1. Abadi, M., L. Cardelli, P.-L. Curien, and J.-J. Levy (1991). Explicit Substitutions. In: Journal of Functional Programming 1, pp. 375–416.
2. Ackermann, W. (1948). Review of Functional Logic without Axioms or Primitive Rules of Inference. In: Zentralblatt fur Mathematik und ihre Grenzgebiete 29, p. 196. Reprinted as § 13.1 of this volume.
3. Ackermann, W. (1949a). Review of On the Theory of Deduction, Part I. In: Zentralblatt für Mathematik und ihre Grenzgebiete 30, p. 3. Reprinted as § 13.2 of this volume.
4. Ackermann, W. (1949b). Review of On the Theory of Deduction, Part II. In: Zentralblatt für Mathematik und ihre Grenzgebiete 30, p. 101. Reprinted as § 13.3 of this volume.
5. Bar-Am, N. (2009). Proof versus Sound Inference. In: Rethinking Popper. Ed. by Z. Parusnikova and R. S. Cohen. Vol. 272. Boston Studies in the Philosophy and History of Science. Dordrecht: Springer, pp. 63–70.