1. Bauer, F.L., Wirsing, M.: Elementare Aussagenlogik. Springer, Berlin (1991)
2. Beck K.: Test Driven Development. Addison-Wesley, Reading (2003)
3. Bunke, H.: Künstliche Intelligenz und Expertensysteme: Grundlegende Begriffe, Anwendungen und zukünftige Perspektiven, in: Bunke, H.; Mey, H. (Hrsg.): Künstliche Intelligenz und Experten Beiträge zur Mathematik, Informatik und Nachrichtentechnik Bd. 8, S. 11–24, Bern ( 1987)
4. Haun, M.: Cognitive Organisation. Springer, Berlin (2015)
5. Hitz, M., Kappel, G.: Von der Analyse zur Realisierung, 2. Aufl. dpunkt, Heidelberg (2003)