author = {Windsteiger W.},
title = {{Building Up Hierarchical Mathematical Domains Using Functors in THEOREMA}},
booktitle = {{Electronic Notes in Theoretical Computer Science}},
language = {english},
series = {ENTCS},
volume = {23},
number = {3},
pages = {401--419},
publisher = {Elsevier},
isbn_issn = {ISSN: 1571-0661},
year = {1999},
editor = {A. Armando and T. Jebelean},
refereed = {yes},
length = {19},
conferencename = {Calculemus'99, Trento, Italy},
url = {http://www.elsevier.com/locate/entcs/volume23.html}