Linnebo, Øystein, cFrege9s Proof of Referentialityd, Notre Dame Journal of Formal Logic 45 (2004), 73398
V. Peckhaus, zbMATH Open, Zbl. 1104.03005 (2007).