Design and verification of lock-free parallel algorithms by G. Hui