Google Spanner: Becoming a SQL System — An academic paper presented at SIGMOD 17 that digs into the specifics of the Spanner globally-distributed data management system Google uses (as mentioned above).