der Jahrestagung 1988 der Gesellschaft für Irnf Ormatik der DDR T2] und dann leicht verändert gedruckt in der Zeitschrift LOGIN L 3) ) in einem Vortrag an der .