Specifying Systems| lamport.azurewebsites.net
Designing a snapshot coordination system| Andrew Helwer
