Program Construction - Calucating Implementations from Specifications door Roland C. Backhouse