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