@article{VLDB-2008-LoK,
	author        = "David Lo and Siau-Cheng Khoo",
	ee            = "http://www.vldb.org/pvldb/1/1454234.pdf",
	journal       = "{Proceedings of the VLDB Endowment}",
	number        = 2,
	pages         = "1609--1616",
	title         = "{Mining patterns and rules for software specification discovery}",
	volume        = 1,
	year          = 2008,
}