@inproceedings{STOC-2007-Lynch,
	author        = "Nancy A. Lynch",
	booktitle     = "{Proceedings of the 39th Annual ACM Symposium on Theory of Computing}",
	doi           = "10.1145/1250790.1250826",
	isbn          = "978-1-59593-631-8",
	pages         = "247",
	publisher     = "{ACM}",
	title         = "{Distributed computing theory: algorithms, impossibility results, models, and proofs}",
	year          = 2007,
}