Program Design by Calculation [pdf]