Add memory model documents