author = {B. Buchberger},
title = {{Sistemi effettivi e la modificazione di programmi (Effective Systems and the Modification of Programs)}},
language = {italian},
year = {1975},
month = {March 3},
annote = {1975-03-03-A},
note = {Invited colloquium talk at Institute of Computer Science, University of Salerno, Italy},
institution = {Institute of Computer Science, University of Salerno, Italy}