1. ACKERMANN, W. (1941) System der typenfreier Logik I, Forschungen zur Logik und zur exakten Wissenschaften, Heft 7.
2. Widerspruchsfreier Aufbau der Logik. Typenfreies System ohne Tertium non datur;ACKERMANN;JSL,1950
3. Widerspruchsfreier Aufbau einer typenfreier Logik I, II;ACKERMANN;Mathemaiische Zeitschrift,1952
4. The strength of Martin-Löf's intuitionistic type theory with one universe;ACZEL,1977
5. An introduction to inductive definitions;ACZEL,1977