"3"^^ . . . . . . . "algebraische Spezifikationssprache"@de . . .