@conference {205502,
	author = {John Looney and Theo Schlossnagle},
	title = {Distributed Systems Reasoning},
	year = {2017},
	address = {Dublin},
	publisher = {USENIX Association},
	month = aug
}
