author = {B. Buchberger and W. Windsteiger},
title = {{The Theorema Language: Implementing Object- and Meta-Level Usage of Symbols}},
language = {english},
number = {98-07},
year = {1998},
annote = {1998-07-00-B},
institution = {SFB F013 Numerical and Symbolic Scientific Computing},
length = {12}