Functional Program Construction and Reasoning

Draft of the book Functional Program Construction and Reasoning, 函數程設與推論。