Defining Correctness Conditions For Concurrent Objects - Brijesh Dongol