@book{metafont,
  author = 	 {Donald E. Knuth},
  title = 	 {The {\metafont} Book},
  year = {1984},
  publisher = {Addison-Wesley},
}

@Misc{metapost,
  author = 	 {John Hobby},
  title = 	 {\metapost},
  year = {1994},
  note =	 {\url{http://plan9.bell-labs.com/who/hobby/MetaPost.html}},
  url =	 {http://plan9.bell-labs.com/who/hobby/MetaPost.html},
}

@Misc{fmpost,
  author =	 {Meik Hellmund and Ralf Hinze and Joachim Korittky and Marco Kuhlmann and Ferenc W\'agner and Peter Simons},
  title =	 {{\fmpost}},
  note =	 {\url{http://cryp.to/funcmp/}},
  url = {http://cryp.to/funcmp/}
}


@inproceedings{mlpictex,
  author =   "Emmanuel Chailloux and Asc\'ander Su\'arez",
  title =    "{\mlpictex}, A Picture Environment for {\LaTeX}",
  pages =    {79--90},
  year = {1994},
  booktitle = "Workshop on {ML}"
}

@Misc{tikz,
  author =	 {Till Tantau},
  title =	 {{PGF and TikZ -- Graphic systems for \TeX}},
  note =	 {\url{http://sourceforge.net/projects/pgf/}}
}

@Misc{dia,
  author =	 {Alexander Larsson},
  title =	 {{Dia}},
  note =	 {\url{http://live.gnome.org/Dia}}
}
@Misc{xfig,
  author =	 {Brian V. Smith},
  title =	 {{Xfig}},
  note =	 {\url{http://www.xfig.org/}}
}

@Misc{pstricks,
  author =	 {T. Van Zandt et al.},
  title =	 {{PSTricks}},
  note =	 {\url{http://tug.org/PSTricks/}}
}

@Misc{asymptote,
  author =	 {Andy Hammerlindl and John Bowman and Tom Prince},
  title =	 {Asymptote},
  note =	 {\url{http://asymptote.sourceforge.net/}}
}

@InProceedings{ConchonFilliatre06wml,
  author = 	 {Sylvain Conchon and Jean-Christophe Filli\^atre},
  title = 	 {{Type-Safe Modular Hash-Consing}},
  booktitle =    {ACM SIGPLAN Workshop on ML},
  address =      {Portland, Oregon},
  topics = {team, lri},
  type_publi = {icolcomlec},
  type_digiteo = {conf_isbn}, 
  month =	 sep,
  year =	 2006,
  url = {http://www.lri.fr/~filliatr/ftp/publis/hash-consing2.ps.gz},
  x-equipes = {demons PROVAL},
  x-type = {article},
  x-support = {actes},
  x-cle-support = {ML},
}

@inproceedings{MandelPlateau08,
  author = {Albert Cohen and Louis Mandel and Florence Plateau and
                  Marc Pouzet},
  title = {{Abstraction of Clocks in Synchronous Data-flow Systems}},
  booktitle = {The Sixth ASIAN Symposium on Programming Languages and Systems
              (APLAS)},
  year = 2008,
  month = {December},
  date = {9--11},
  address = { Bangalore, India},
  type_publi = {icolcomlec},
  x-equipes = {demons PROVAL EXT},
  x-type = {article},
  x-support = {actes},
  x-cle-support = {APLAS},
  topics = {team}
}

@Article{persistance,
 author = {J. R. Driscoll and N. Sarnak and D. D. Sleator and R. E. Tarjan},
 title = {{Making Data Structures Persistent}},
  journal = 	 {Journal of Computer and System Sciences},
  year = 	 1989,
  volume =	 38,
  number =	 1,
  pages =	 {86--124}
}

@Article{bresenham,
  author = 	 {Jack E. Bresenham},
  title = 	 {Algorithm for computer control of a digital plotter},
  journal = 	 {IBM Systems Journal},
  year = 	 1965,
  volume =	 4,
  number =	 1,
  pages =	 {25--30},
  month =	 {January}
}


@misc{ocaml,
  title   = {{Le langage Objective Caml}},
  note    = {\url{http://caml.inria.fr/}}
}

@misc{haskell,
  title   = {{Le langage Haskell}},
  note    = {\url{http://www.haskell.org/}}
}

@book{postscript,
 author = {Glenn C. Reid},
 title = {{PostScript Language Program Design}},
 year = {1988},
 isbn = {0201143968},
 publisher = {Addison-Wesley Longman Publishing Co., Inc.},
 address = {Boston, MA, USA},
 }
