Verifying concurrent memory reclamation algorithms with grace [pdf]cs.ox.ac.uk3 pointsfanf22 years ago