@article{LDTA-2009-DennisJW10,
	author        = "John M. Dennis and Elizabeth R. Jessup and William M. Waite",
	doi           = "10.1016/j.entcs.2010.08.034",
	journal       = "{Electronic Notes in Theoretical Computer Science}",
	number        = 7,
	pages         = "89--104",
	title         = "{SLAMM — Automating Memory Analysis for Numerical Algorithms}",
	volume        = 253,
	year          = 2010,
}