Annual Review in Automatic Programming (Pergamon Press, 2001)