Looking at Program Design by Calculation.