Theorie und Anwendung des Graphmodells der Kombinatorischen Logik. - Fehlmann, Thomas Michael (1981)