von
Preis unbekannt
Harald Ganzinger
code generation language logic program transformation semantics term rewriting