Boeken over Design and verification of lock-free parallel algorithms