Richard Bird takes a radically new approach to algorithm design, namely, design by calculation. These 30 short chapters each deal …