bib.tex 2.0 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384
  1. \begin{thebibliography}{99}
  2. \bibitem{w3c} World Wibe Web Consortium
  3. \\
  4. {\tt http://www.w3.org}.
  5. \bibitem{openmath} OpenMath Society
  6. \\
  7. {\tt http://www.openmath.org}.
  8. \bibitem{mathml}{\it MathML Standard Specification}, W3C Working Draft 28 March 2000\\
  9. {\tt http://www.w3.org/Math}
  10. \bibitem{openmathspec} O. Caproti, D. P. Carlisle, A. M. Cohen, {\it The OpenMath Standard}, August 1999
  11. \\
  12. {\tt http://www.nag.co.uk/projects/openmath/omsoc/}
  13. \bibitem{htmlp} HTML+ Specification,
  14. \\
  15. {\tt http://www.w3.org/MarkUp/HTMLPlus/htmlplus\_1.html}
  16. \bibitem{html3} HTML 3.0 Draft
  17. \\
  18. {\tt http://www.w3.org/MarkUp/html3/CoverPage.html}
  19. \bibitem{html3.2} D. Raggett {\it HTML 3.2 Specification}, W3C 14 June 1997.
  20. \\
  21. {\tt http://www.w3.org/TR/REC-html32.html}
  22. \bibitem{sgml} SGML Specification,
  23. \\
  24. {\tt
  25. http://www.w3.org/TR/1999/REC-html401-19991224/ \\
  26. \hspace{1cm} conform.html\#h-4.2}.
  27. \bibitem{latex2html} \LaTeX2HTML Manual
  28. \\
  29. {\tt http://www-dsed.llnl.gov/files/programs/UNIX/ \\ latex2html/manual/Snodel.html}
  30. \bibitem{xml} Bray, Tim, Jean Paoli and C.M. Sperberg-Mcqueen, {\it Extensible Markup Language 1.0}, 10 February 1998 \\
  31. {\tt http://www.w3.org/TR/1998/REC-xml-19980210. }
  32. \bibitem{compilers} A. V. Aho, J. D. Ullman. {\it Principles of Compiler Design}. Addison-Wesley Publications, 1979.
  33. \bibitem{compilers2} J. P. Bennet. {\it Introduction to Compiling Techniques}. McGraw-Hill Publications, 1996.
  34. \\
  35. \\
  36. \\
  37. {\Large Important Web Ressources}
  38. \bibitem{tex4ht} TeX4ht Web Site
  39. \\
  40. {\tt http://www.cis.ohio\-state.edu/~gurari/TeX4ht/mn.html }
  41. \bibitem{TtM} TtM Seb Site
  42. \\
  43. {\tt http://hutchinson.belmont.ma.us/tth/mml/ }
  44. \bibitem{webeq} WebEQ Seb Site
  45. \\
  46. {\tt http://www.webeq.com/webeq/}
  47. \bibitem{ice} ICEBrowser Seb Site
  48. \\
  49. {\tt http://www.icesoft.no/ICEBrowser/index.html }
  50. \bibitem{ibm} IBM TechExplorer web site
  51. \\
  52. {\tt http://www\-4.ibm.com/software/network/techexplorer/ }
  53. \end{thebibliography}
  54. \addcontentsline{toc}{chapter}{Bibliography}