The Memory Models That Underlie Programming Languages
This is a great list.One omission is the spreadsheet memory model.  The spreadsheet can be argued as the multi-dimension array like in Fortran, but it's not.  Both the data of primitive types and the computation declaration are stored in the table cells.  Data dependency and computation are declared.  Computation order is not specified and is run on the whole table as a dependency graph.  It's kind of unique.