I. Dahn, Automatic Textbook Construction and Web Delivery in the 21st Century, J, 2001.

C. Gellrich and C. Gellrich, R: (2001) Lehr-und Übungsbuch für Fachhochschulen

U. Furbach, Logic for Computer Scientists Analysis Individuell, I. Dahn, vol.4, 2000.