@inproceedings{SAC-2000-DanicicH,
	author        = "Sebastian Danicic and Mark Harman",
	booktitle     = "{Proceedings of the 15th Symposium on Applied Computing}",
	pages         = "831--839",
	publisher     = "{ACM}",
	title         = "{Espresso: A Slicer Generator}",
	volume        = 2,
	year          = 2000,
}