§7.2 确定型存储模型