M. Garzon
Univ. of Illinois at Urbana, IL
An algebraic memory model
ACM SIGARCH Computer Architecture News