@inproceedings{PLDI-1987-Boehm,
	author        = "Hans-Juergen Boehm",
	booktitle     = "{Proceedings of the Eighth Symposium on Interpreters and Interpretive Techniques}",
	doi           = "10.1145/29650.29673",
	editor        = "Richard L. Wexelblat",
	isbn          = "0-89791-235-7",
	pages         = "214--221",
	publisher     = "{ACM}",
	title         = "{Constructive real interpretation of numerical programs}",
	year          = 1987,
}