The memory models that underlie programming languages
canonical.org