https://123dok.net/document/yj7rjep6-a-new-characterization-of-atomic-registers-shared-memory.html