Bernhard Beckert Joachim Posegga LeanEA: A Lean Evolving Algebra Compiler. 73-82 1995 WLP db/conf/wlp/wlp95.html#BeckertP95