Book published on Recoverable Mutual Exclusion