Erste lateinische Übersetzung von Constantinus Africanus (11. Jhdt.); diese Übersetzung ist noch nicht ediert [vgl. Fichtner (1989), S. 77].