\begin{thebibliography}{99}

\bibitem {APSCGS03}
A. Asperti, L. Padovani, C. Sacerdoti Coen, F.Guidi, I. Schena:
\emph{Mathematical Knowledge Management in HELM}.
In Annals of Mathematics and Artificial Intelligence 38(1),
Kluwer Academic Publishers (May 2003), pp. 27-46.

\bibitem {Gui03}
F. Guidi:  
\emph{Searching and Retrieving in Content-based Repositories of Formal
Mathematical Knowledge}. 
Ph.D. Thesis in Computer Science, University of Bologna, March 2003. Technical 
report UBLCS 2003-06.

\bibitem {GSC03}
F. Guidi, C. Sacerdoti Coen:
\emph{Querying Distributed Digital Libraries of Mathematics}.
In Proc. of the 11th Symposium on the Integration of Symbolic Computation and
Mechanized Reasoning (Calculemus 2003). Rome, Italy,
September 2003. pages 17-30, Aracne. 2003.

\bibitem {GS03}
F. Guidi, I. Schena: 
\emph{A Query Language for a Metadata Framework about Mathematical Resources}.
In Proc. of 2nd International Conference on Mathematical Knowledge
Management (MKM 2003).
Bertinoro, Italy, February 2003.
LNCS 2594, pp. 105-118, Springer. 2003.

\bibitem {Lan98}
C. Laneve:
\emph{La descrizione operazionale dei linguaggi di programmazione. \\
Un'introduzione}
FrancoAngeli, 1998.

\bibitem {Lor02}
D. Lordi:
\emph{Sperimentazione e Sviluppo di Strumenti per la gestione di metadati}. \\
Master Thesis in Computer Science, University of Bologna, 2002.

\bibitem {RDF}
\emph{Resource Description Framework (RDF) Model and Syntax Specification}.
W3C Recommendation. February 22, 1999. \\
\CURI{http://www.w3.org/TR/1999/REC-rdfsyntax-19990222/}.

\bibitem {RDFS}
\emph{RDF Vocabulary Description Language 1.0: RDF Schema}.
W3C Working Draft. January 23, 2003
\CURI{http://www.w3.org/TR/rdf-schema/}.

\bibitem {Sam00}
G. Sambin: \emph{Formal topology and domains}.
Electronic Notes in Theoretical Computer Science, (35). 2000. 

\bibitem {Sch02}
I. Schena:
\emph{Towards a Semantic Web for Formal Mathematics}.
Ph.D. dissertation. University of Bologna, 2002. Advisor: A. Asperti.

\bibitem {Unicode}
Unicode Consortium: 
\emph{The Unicode Standard, Version 3.2}. March 2002. \\
\CURI{http://www.unicode.org/unicode/standard/standard.html}.

\bibitem {URI}
\emph{Uniform Resource Identifiers (URI): Generic Syntax (RFC 2396)}.
August 1998. \\
\CURI{http://www.ietf.org/rfc/rfc2396.txt}.

\bibitem {W3Ca}
\emph{Character Model for the World Wide Web 1.0},
W3C Working Draft. April 30, 2002.
\CURI{http://www.w3.org/TR/charmod/}.

\bibitem {Win93}
G. Winskel:
\emph{The formal semantics of programming languages: an introduction}.
MIT Press Series in the Foundations of Computing. London: MIT Press, 1993.

\bibitem {XML}
\emph{Extensible Markup Language (XML) 1.0 (Second Edition)}.
W3C Recommendation. October 6, 2000. \CURI{http://www.w3.org/REC-xml}.

\bibitem {XQuery}
\emph{XQuery 1.0: An XML Query Language}.
W3C Working Draft November 15, 2002. \CURI{http://www.w3.org/TR/xquery/}.

\end{thebibliography}
