[pdf] Stephen Diehl – Reasoning about Program Behavior Algebraically dev.stephendiehl.com • 117 points