@inproceedings{LFP-1986-BoehmCRO,
	author        = "Hans-Juergen Boehm and Robert Cartwright and Mark Riggle and Michael J. O'Donnell",
	booktitle     = "{Proceedings of the 1986 ACM Conference on LISP and Functional Programming}",
	pages         = "162--173",
	title         = "{Exact Real Arithmetic: A Case Study in Higher Order Programming}",
	year          = 1986,
}