Eine Programmiersprache mit mengentheoretischen Konstrukten und deren effiziente Implementierung. - Grosch, Josef (Arbeitsberichte des Instituts für mathematische Maschinen und Datenverarbeitung <Informatik>, 1982)