1. Aczel, P. (1980) Frege structures and the notion of proposition, truth and set. In J. Barwise, H. Keisler, & K. Kunen (eds.), The Kleene symposium (pp. 31–59). Amsterdam: North-Holland.
2. Beeson, M. (1985). Foundations of constructive mathematics. Ergebnisse der Mathematik und ihrer Grenzgebiete; 3.Folge (Bd. 6). Berlin: Springer.
3. Cantini, A. (1990). A theory of formal truth arithmetically equivalent to
$\mbox{ID}_1$
. Journal of Symbolic Logic, 55(1), 244–259.
4. Cantini, A. (1996). Logical frameworks for truth and abstraction, vol. 135 of Studies in Logic and the Foundations of Mathematics. Amsterdam: North-Holland.
5. Cantini, A. (2015). On stratified truth. In D. Achourioti, K. Fujimoto, H. Galinon, & J. Martinez (Eds.), Unifying the philosophy of truth, volume 36. Logic, epistemology and the unity of science. Dordrecht: Springer.