@InProceedings{vdH:issac06,
  author = 	 {J. van der Hoeven},
  title = 	 {Effective real numbers in {Mmxlib}},
  booktitle    = {Proc. ISSAC '06},
  year         = {2006},
  month        = {July},
  editor       = {D. Saunders},
  address      = {Genova, Italy}
}