Related references
Note: Only part of the references are listed.
Article
Computer Science, Theory & Methods
Spanner
James C. Corbett et al.
ACM TRANSACTIONS ON COMPUTER SYSTEMS (2013)