(untitled) - Beth, Thomas (Arbeitsberichte des Instituts für Mathematische Maschinen und Datenverarbeitung (Informatik), Friedrich-Alexander-Universität Erlangen Nürnberg, 1979)