Experiments with Partial Evaluation Domains for Rewrite Specifications. - Reinhard Bündgen; Werner Lauterbach (COMPASS/ADT, 1995)

Combining Reductions and Computations in ReDuX. - Reinhard Bündgen; Werner Lauterbach (AMAST, 1996)

Verification of the Sparrow Processor. - Reinhard Bündgen; Wolfgang Küchlin; Werner Lauterbach (ECBS, 1996)