Spanner, TrueTime and the CAP Theorem [pdf]
static.googleusercontent.com