DBLP BibTeX Record 'conf/fp/Lester91'

@inproceedings{DBLP:conf/fp/Lester91,
  author    = {David R. Lester},
  title     = {Vuillemin's Exact Real Arithmetic},
  booktitle = {Functional Programming},
  year      = {1991},
  pages     = {225-238},
  crossref  = {DBLP:conf/fp/1991},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}
@proceedings{DBLP:conf/fp/1991,
  editor    = {Rogardt Heldal and
               Carsten Kehler Holst and
               Philip Wadler},
  title     = {Functional Programming, Glasgow 1991, Proceedings of the
               1991 Glasgow Workshop on Functional Programming, Portree,
               Isle of Skye, 12-14 August 1991},
  booktitle = {Functional Programming},
  publisher = {Springer},
  series    = {Workshops in Computing},
  year      = {1992},
  isbn      = {3-540-19760-5},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}