Spanner Internals Part 1: What Makes Spanner Tick? (Cloud Next '19)