Spanner's paper: https://static.googleusercontent.com/media/research.google.c...