Jayadev Misra Specifications of Concurrently Accessed Data. 91-114 1989 conf/mpc/1989 MPC db/conf/mpc/mpc89.html#Misra89