author = {B. Buchberger},
title = {{Verified Algorithm Development by Lazy Thinking}},
language = {english},
year = {2003},
month = {July 7-11},
annote = {2003-07-07-A},
note = {Invited talk at International Mathematica Symposium 2003, Imperial College, London},
conferencename = {International Mathematica Symposium 2003, Imperial College, London}