This site was generated by two CDuce programs: the first transforms BibTeX files into an XML document while the second generates from this and few other XML documents a set of statically certified XHTML-strict pages with table of contents, list of references, non-dangling internal links, etc. More details can be found here.