D&E の 6.5.2 で restrict について詳しく書かれています。