Zur Konstruktiven Deutung der semantischen Vollständigkeit klassischer Quantoren- und Modalkalküle. P. Lorenzen (1972) Archiv für mathematische Logik und Grundlagenforschung
Zur konstruktiven Differenzierbarkeit von monotonen berechenbaren Funktionen. H. Bremer, C.H.H. Reynvaan (1975) Archiv für mathematische Logik und Grundlagenforschung
Zur Theorie der zusammengesetzten Gruppen. E. Netto (1874) Journal für die reine und angewandte Mathematik