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