1. Die 80er Jahre;Informatikforschung in Deutschland;2008
2. Note bibliografiche;Algoritmi;2008
3. Achievements and Prospects of Program Synthesis;Computational Logic: Logic Programming and Beyond;2002
4. On Correct Program Schemas;Logic Program Synthesis and Transformation;1998
5. Principled strength reduction;Algorithmic Languages and Calculi;1997