Algorithms for Concurrent Systems – Guerraoui — Checko | Checko