Memory model links

By Wolfgang Keller
Originally written 2023-11-05
Last modified 2023-11-05