Program Construction Calculating Implementations from Specifications - Backhouse, Roland (Wiley [Imprint])