Jayadev Misra Axioms for Memory Access in Asynchronous Hardware Systems. 96-110 1984 conf/concur/1984 Seminar on Concurrency db/conf/concur/concur1984.html#Misra84 http://dx.doi.org/10.1007/3-540-15670-4_5