Program Construction This page intentionally left blank Calculating Implementations from Specifications Roland Backhouse The University of Nottingham, UK WILEY Copyright…