Ein formal spezifiziertes objektorientiertes Datenmodell mit Anfragesprache und algebraischer Optimierung. - Tilo Hegel (1995)