Manual on the use of rock in coastal and shoreline engineering / de réir Netherlands Centre for Civil Engineering Research and Codes, United Kingdom Construction Industry Research and Information Association