Edited by Jeremy Gibbons and Oege de Moor in honour of Richard Bird's 60th birthday. A symposium was held to mark the occasion. Information about the book and ordering details can be found here. Some of the code and software from the book is available from the links below. Please note that the software versions will be those from around the time of publication of the book and are provided here f