@misc{RISC2731,
author = {B. Buchberger},
title = {{Effektive Systeme als Rahmen fuer die digitale Computerwissenschaft (Effective Systems as a Framework for Digital Computer Science)}},
language = {german},
year = {1975},
month = {February 2},
annote = {1975-02-02-A},
note = {Contributed talk at Austrian Mathematical Syposium, Linz, Austria},
conferencename = {Austrian Mathematical Syposium, Linz, Austria}
}