Eberhard Wegner Semantik-Definition der Prozeß-Programmiersprache PEARL. 548 1980 conf/gi/1980 GI Jahrestagung db/conf/gi/gi80.html#Wegner80