author = {W. Windsteiger},
title = {{Building Up Hierarchical Mathematical Domains Using Functors in Theorema}},
language = {english},
year = {1999},
month = {July 11},
note = {Contributed talk at Calculemus'99, Trento, Italy},
conferencename = {Calculemus'99, Trento, Italy}