1. Bab, S.: ∈µ -Logik - Eine Theorie propositionaler Logiken. Shaker Verlag (2007). Dissertation, Technische Universit ät Berlin, 2007
2. Bab, S., Mahr, B.: ∈T -Integration of Logics. In: Formal Methods in Software and Systems Modeling, pp. 204-219. Springer (2005)
3. Kripke, S.: Outline of a theory of truth. The Journal of Philisopy 72 pp. 690-716 (nachgedruckt in [Mar84], Seiten 53-81) (1975)
4. Mahr, B.: Applications of type theory. In: Proceedings of the International Joint Conference CAAP/FASE on Theory and Practice of Software Development, pp. 343-355. Springer (1993)
5. Mahr, B., Str äter, W., Umbach, C.: Fundamentals of a theory of types and declarations. Forschungsbericht, KIT-Report 82, Technische Universit ät Berlin (1990)