Program Construction: Calculating Implementations from Specifications by R.C. Backhouse, John Wiley & Sons, 2004