author = {B. Buchberger},
title = {{Automated Synthesis of a Gröbner Bases Algorithm}},
language = {english},
year = {2006},
month = {March 6},
annote = {2006-03-06-A},
note = {Talk at Workshop "Formal Gröbner Bases Theory"},
institution = {RICAM - RISC, Linz, Austria}