1. Alle dem Register der von Günther Görtz herausgegebenen „Einführung in die künstliche Intelligenz“, Bonn 1993, entnommen
2. Duden Fremdwörterbuch, Mannheim 1982, S. 258 (Stichwort,formalisieren`)
3. Duden Fremdwörterbuch, Mannheim 1982, S. 258 (Stichwort,formal`)
4. Hügli, Anton; Lübcke, Poul (Hg.): Philosophielexikon. Reinbek bei Hamburg 1991. S. 188 (Stichwort,Form/Materie`).
5. Das neue Taschenlexikon. Herausgegeben von der Bertelsmann Lexikon Verlag GmbH. Gütersloh 1992. Band 5, S. 302